Research Scientist Formal Methods
2 days ago
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 SummaryThe 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.
- 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.
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.
-
Research Scientist LLM Formal Methods
2 days ago
Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full timeResearch 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 LLM Formal Methods
2 days ago
Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full timeResearch 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 timeResearch 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 timeResearch 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 timeJob 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 timeJob 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 timeJob 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 timeJob 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 timeResearch 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 timeResearch 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 timeJob 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 timeJob 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...
-
Lead Research Scientist
1 month ago
Markham, Ontario, Canada Huawei Full timeSenior 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 timeSenior 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...
-
Digital Innovation Researcher
2 weeks ago
Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full timeWe 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...
-
Digital Innovation Researcher
2 weeks ago
Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full timeWe 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 timeJob 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 timeJob 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...
-
Lead Research Scientist
1 month ago
Markham, Ontario, Canada Huawei Full timePosition 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 timeSenior 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...