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 Huawei Build expertise on a wide spectrum of formal methods tools, and contribute to tool chain development and...

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 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...

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...

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...

Job Description WHAT YOU DO AT AMD CHANGES EVERYTHINGWe care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences – the building blocks for the data center, artificial intelligence, PCs, gaming and embedded....

Job Description WHAT YOU DO AT AMD CHANGES EVERYTHING We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences – the building blocks for the data center, artificial intelligence, PCs, gaming and embedded....

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...

Our team has an immediate 12-month contract opening for an Emerging Technology Intern Researcher. Responsibilities: Our team is looking for motivated PhD candidates to join our team as interns in order to conduct research in a number of areas including AI, Compute Hardware, Compute System and Architecture, Photonics, Semiconductors, Optical Communications,...

Our team has an immediate 12-month contract opening for an Emerging Technology Intern Researcher. Responsibilities: Our team is looking for motivated PhD candidates to join our team as interns in order to conduct research in a number of areas including AI, Compute Hardware, Compute System and Architecture, Photonics, Semiconductors, Optical Communications,...

Our team has an immediate 12-month contract opening for an Emerging Technology Intern Researcher. Responsibilities: Our team is looking for motivated PhD candidates to join our team as interns in order to conduct research in a number of areas including AI, Compute Hardware, Compute System and Architecture, Photonics, Semiconductors, Optical Communications,...

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 lead...

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 roadAssist in technical path analysis, evaluation, and providing insightIdentify the key technology...

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 roadAssist in technical path analysis, evaluation, and providing insightIdentify the key technology...

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 roadAssist in technical path analysis, evaluation, and providing insightIdentify the key technology...