Research Scientist Formal Methods

2 days ago


Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full time
Research Internship Opportunity

We are seeking a highly motivated and experienced Research Intern to join our team at Huawei Technologies Canada Co., Ltd. as an Intern Researcher LLM Formal Methods.

Job Summary

The successful candidate will be responsible for researching and applying state-of-the-art technologies to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methods.

Key Responsibilities
  • Research and develop comprehensive testing strategies for LLM-based AI systems, including white box testing and black box testing.
  • Research and develop formal modeling, analysis, and verification techniques to integrate symbolic information and reasoning within neural networks.
  • Work closely with researchers and engineers to apply advanced technologies into practical AI development lifecycle.
  • Publish findings in relevant conferences and journals.
Requirements
  • Ph.D. student in Formal Methods, Software Engineering, LLM/AI, or a closely related field.
  • Proven experience in research and development in related fields.
  • Knowledge of formal reasoning and testing techniques.
  • Understanding of LLM/AI techniques and their limitations.
  • Strong programming skills.
  • Ability to collaborate effectively with interdisciplinary teams.
  • Adept at identifying and solving complex technical challenges.
What We Offer

As a Research Intern at Huawei Technologies Canada Co., Ltd., you will have the opportunity to work on cutting-edge AI research projects and collaborate with a team of experienced researchers and engineers.



  • Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full time

    Research Engineer LLM Formal MethodsWe are seeking a highly skilled Research Engineer to join our team at Huawei Technologies Canada Co., Ltd. in a 12-month contract position.Key Responsibilities:Apply state-of-the-art technologies to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methods.Design and...


  • Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full time

    Research Engineer LLM Formal MethodsWe are seeking a highly skilled Research Engineer to join our team at Huawei Technologies Canada Co., Ltd. in a 12-month contract position.Key Responsibilities:Apply state-of-the-art technologies to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methods.Design and...

  • Research Scientist

    2 days ago


    Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full time

    Research EngineerWe are seeking a highly skilled Research Engineer to join our team at Huawei Technologies Canada Co., Ltd.Key Responsibilities:Apply cutting-edge technologies to develop neural symbolic architectures with the integration of LLM/AI and Formal methodsDesign and develop comprehensive testing strategies for LLM-based AI systems, including white...

  • Research Scientist

    2 days ago


    Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full time

    Research EngineerWe are seeking a highly skilled Research Engineer to join our team at Huawei Technologies Canada Co., Ltd.Key Responsibilities:Apply cutting-edge technologies to develop neural symbolic architectures with the integration of LLM/AI and Formal methodsDesign and develop comprehensive testing strategies for LLM-based AI systems, including white...

  • Research Scientist

    2 weeks ago


    Markham, Ontario, Canada Huawei Full time

    Job SummaryWe are seeking a highly skilled Research Engineer to join our team at Huawei. As a Research Engineer, you will play a key role in advancing our research and development efforts in the field of artificial intelligence (AI) and neural symbolic architectures.Key ResponsibilitiesResearch and DevelopmentConduct research and apply state-of-the-art...

  • Research Scientist

    2 weeks ago


    Markham, Ontario, Canada Huawei Full time

    Job SummaryWe are seeking a highly skilled Research Engineer to join our team at Huawei. As a Research Engineer, you will play a key role in advancing our research and development efforts in the field of artificial intelligence (AI) and neural symbolic architectures.Key ResponsibilitiesResearch and DevelopmentConduct research and apply state-of-the-art...

  • Research Scientist

    2 weeks ago


    Markham, Ontario, Canada fluidigm Full time

    Job DescriptionResearch Scientist (Polymer & Bioconjugate Chemistry)We are seeking a highly motivated Research Scientist (Polymer & Bioconjugate Chemistry) to join our exciting mass cytometry team based in Markham, ON.Key ResponsibilitiesWork with minimal supervision to invent new reagents for mass cytometry.Review the literature and devise scientific...

  • Research Scientist

    2 weeks ago


    Markham, Ontario, Canada fluidigm Full time

    Job DescriptionResearch Scientist (Polymer & Bioconjugate Chemistry)We are seeking a highly motivated Research Scientist (Polymer & Bioconjugate Chemistry) to join our exciting mass cytometry team based in Markham, ON.Key ResponsibilitiesWork with minimal supervision to invent new reagents for mass cytometry.Review the literature and devise scientific...

  • Research Scientist

    1 week ago


    Markham, Ontario, Canada fluidigm Full time

    Research Scientist (Polymer & Bioconjugate Chemistry)We are seeking a highly motivated Research Scientist (Polymer & Bioconjugate Chemistry) to join our exciting mass cytometry team based in Markham, ON.Key Responsibilities:Work with minimal supervision to invent new reagents for mass cytometry.Review the literature and devise scientific plans.Synthesize...

  • Research Scientist

    1 week ago


    Markham, Ontario, Canada fluidigm Full time

    Research Scientist (Polymer & Bioconjugate Chemistry)We are seeking a highly motivated Research Scientist (Polymer & Bioconjugate Chemistry) to join our exciting mass cytometry team based in Markham, ON.Key Responsibilities:Work with minimal supervision to invent new reagents for mass cytometry.Review the literature and devise scientific plans.Synthesize...

  • Research Scientist

    2 weeks ago


    Markham, Ontario, Canada fluidigm Full time

    Job DescriptionWe are seeking a highly motivated Research Scientist (Polymer & Bioconjugate Chemistry) to join our innovative team at Fluidigm, a leading provider of life sciences tools. Our technology is empowering customers to improve life through comprehensive health insight.As a Research Scientist, you will be responsible for:Developing and synthesizing...

  • Research Scientist

    2 weeks ago


    Markham, Ontario, Canada fluidigm Full time

    Job DescriptionWe are seeking a highly motivated Research Scientist (Polymer & Bioconjugate Chemistry) to join our innovative team at Fluidigm, a leading provider of life sciences tools. Our technology is empowering customers to improve life through comprehensive health insight.As a Research Scientist, you will be responsible for:Developing and synthesizing...


  • Markham, Ontario, Canada Huawei Full time

    Senior Principal Research Scientist OpportunityWe are seeking a highly skilled Senior Principal Research Scientist to join our innovative team at Huawei, specializing in Natural Language Processing (NLP) and the development of Large Language Models. In this pivotal role, you will:Drive advanced research projects focused on AI solutionsWork closely with...


  • Markham, Ontario, Canada fluidigm Full time

    Senior Scientist in Polymer and Bioconjugate Research Overview: Are you passionate about advancing scientific discovery in human health? At Fluidigm, we are committed to delivering innovative solutions that empower researchers and improve lives. We are currently seeking a dedicated Senior Scientist specializing in Polymer and Bioconjugate Chemistry...


  • Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full time

    We are seeking a highly skilled Researcher to join our team at Huawei Technologies Canada Co., Ltd. in a 4-month contract position.Key Responsibilities:Conduct in-depth research on digital and intelligent test technologies to identify, analyze, summarize, and predict new trends and technologies related to LLM/AI-assisted test planning, test design, test...


  • Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full time

    We are seeking a highly skilled Researcher to join our team at Huawei Technologies Canada Co., Ltd. in a 4-month contract position.Key Responsibilities:Conduct in-depth research on digital and intelligent test technologies to identify, analyze, summarize, and predict new trends and technologies related to LLM/AI-assisted test planning, test design, test...

  • Research Scientist

    2 days ago


    Markham, Ontario, Canada fluidigm Full time

    Job Title: Research Scientist (Polymer & Bioconjugate Chemistry)We are seeking a highly motivated Research Scientist (Polymer & Bioconjugate Chemistry) to join our exciting mass cytometry team based in Markham, ON.Job Summary:The successful candidate will work with minimal supervision to invent new reagents for mass cytometry, review the literature and...

  • Research Scientist

    3 days ago


    Markham, Ontario, Canada fluidigm Full time

    Job Title: Research Scientist (Polymer & Bioconjugate Chemistry)We are seeking a highly motivated Research Scientist (Polymer & Bioconjugate Chemistry) to join our exciting mass cytometry team based in Markham, ON.Job Summary:The successful candidate will work with minimal supervision to invent new reagents for mass cytometry, review the literature and...


  • Markham, Ontario, Canada Huawei Full time

    Position Overview:We are seeking a highly skilled Principal Scientist to drive innovative research and development initiatives.Key Responsibilities:1. Collaborate with a team of AI specialists to influence the architecture of advanced chip designs.2. Focus on optimizing computing power, memory allocation, cache management, and networking capabilities...


  • Markham, Ontario, Canada fluidigm Full time

    Senior Scientist in Polymer and Bioconjugate Research Are you ready to be part of a pioneering team focused on advancing tools that enhance human health? Fluidigm is at the forefront of providing essential life sciences tools that empower researchers globally to make significant strides in health insights. We are dedicated to fostering a culture that...