Researcher - Formal Methods

Our team has an immediate permanent opening for aResearcher. Responsibilities: Perform cutting-edge research in formal specification, formal verification, and contribute to productive use of formal methods in system development within HuaweiBuild expertise on a wide spectrum of formal methods tools, and contribute to tool chain development and...

Our team has an immediate permanent opening for aResearcher. Responsibilities: Perform cutting-edge research in formal specification, formal verification, and contribute to productive use of formal methods in system development within HuaweiBuild expertise on a wide spectrum of formal methods tools, and contribute to tool chain development and...

Our team has an immediate permanent opening for aResearcher. Responsibilities: Perform cutting-edge research in formal specification, formal verification, and contribute to productive use of formal methods in system development within HuaweiBuild expertise on a wide spectrum of formal methods tools, and contribute to tool chain development and...

Our team has an im m edi ate 4-month contract opening for anIntern Researcher Responsibilities: Research and apply state-of-the-art tec hnologi es to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methods Researchand develop comprehensive testing strategies for LLM-based AI systems, e.g.,...

Our team has an im m edi ate 12-month contract opening for a ResearchEngineer Responsibilities: Research and apply state-of-the-art tec hnologi es to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methods Design and develop comprehensive testing strategies for LLM-based AI systems, e.g., white...

Our team has an immediate 4-month contract opening for an Intern ResearcherResponsibilities:Research and apply state-of-the-art technologies to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methodsResearch and develop comprehensive testing strategies for LLM-based AI systems, e.g., white box testing...

Our team has an immediate 4-month contract opening for anIntern Researcher Responsibilities: Research and apply state-of-the-art technologies to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methodsResearchand develop comprehensive testing strategies for LLM-based AI systems, e.g., white box testing...

Our team has an immediate 4-month contract opening for anIntern Researcher Responsibilities: Research and apply state-of-the-art technologies to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methodsResearchand develop comprehensive testing strategies for LLM-based AI systems, e.g., white box testing...

Our team has an immediate 4-month contract opening for anIntern Researcher Responsibilities: Research and apply state-of-the-art technologies to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methodsResearchand develop comprehensive testing strategies for LLM-based AI systems, e.g., white box testing...

Our team has an immediate permanent opening for a Research EngineerResponsibilities:Research and apply state-of-the-art technologies to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methodsDesign and develop comprehensive testing strategies for LLM-based AI systems, e.g., white box testing (examining...

Our team has an immediate 12-month contract opening for a ResearchEngineer Responsibilities: Research and apply state-of-the-art technologies to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methodsDesign and develop comprehensive testing strategies for LLM-based AI systems, e.g., white box testing...

Reporting to the Manager of Research and Evaluation, the Research and Evaluation Specialist is responsible for designing, coordinating, and conducting research and evaluation projects that focus on understanding program effectiveness, service delivery, and client populations. This will ultimately support organizational and sector decision-making across the...

User Experience Researcher User Experience Researchers help everyone focus on the user by conducting primary research, exploring the behaviors and motivations of our users through methods like interviewing, ethnography, usability testing and surveys. They support the Product Management team with insights that drive product design and experience decisions. ...

Our team has an immediate permanent opening for aPrincipal Researcher. Responsibilities : Responsible for research and innovation breakthroughs in core technologies in the field of AI storage systems. Combine theories with practices, explore pioneering industry opportunities, define key technologies across generations, build leading competitiveness, and...

Our team has an immediate permanent opening for a Senior Principal Researcher. Responsibilities: Research and make breakthroughs in core storage system technologies based on emerging scenarios such as AI. Combine theories with practices to explore innovative industry opportunities, define generational key technologies, build leading competitiveness, and...

Our team has an immediate 12-month contract opening for an Intern Associate Researcher. Responsibilities: Carry out research on the next-generation emerging technologies, survey the latest trends on a regular basis, and understand the technology evolution road Assist in technical path analysis, evaluation, and providing insight Identify the key...

Computer Methods International Corp. (CMiC) is a Software Development firm specializing in enterprise financial and cost management systems designed for the Construction and Engineering industries. An opening currently exists for a Payroll Support Product Analyst . This role requires a dynamic individual to provide support for our client’s Global...

User Experience Researcher User Experience Researchers help everyone focus on the user by conducting primary research, exploring the behaviors and motivations of our users through methods like interviewing, ethnography, usability testing and surveys. They support the Product Management team with insights that drive product design and experience decisions....

Select a job title to view the description and apply online Shkaabe Makwa at CAMH is the first hospital-based Centre in Canada designed to drive culturally- responsive systems initiatives to achieve health justice and wellness for First Nations, Inuit and Métis communities through the advancement of research, workforce development and innovative healing...

Must Haves:2+ years professional experience in strictly UX Researcher rolesPrivate sector experienceNotable strength and experience with large quantitative methods (eg. surveys, mod/unmod quant usability testing, web analytics, eye-tracking, card sorting)Experience with segmentation and persona creationExperience creating and analyzing surveys, and...