Associate Researcher- LLMs/Formal Verficaitons
1 week ago
Huawei Canada has an immediate 4-month Internship opening for an Associate Researcher- LLMs/Formal Verifications
About the team:
The Intelligent Testing Technology Team, currently a part of the Waterloo Research Centre, is at the forefront of integrating large language models (LLMs) with formal methods to advance artificial intelligence. By harnessing LLMs' strengths in natural language processing and generation, this team explores their synergy with the precision of formal verification techniques. As part of this team, you will collaborate with industry leaders on groundbreaking projects and contribute to shaping the future of technology.
About the job:
- Design and implement type-checking and verification tools for use in neuro-symbolic systems, which combine symbolic reasoning with generative AI models
- Collaborate with AI, formal methods, and systems researchers to bring about AI-driven solutions to real-world software systems engineering challenges
Job requirements
About the ideal candidate:
- Currently pursuing or has completed a degree in computer science
- Strong functional programming skills (preferably with Haskell)
- Strong background in formal specification, formal verification, and/or software analysis (including type checking)
-
Intern Researcher
1 week ago
Markham, Ontario, Canada Huawei Canada Full time $60,000 - $90,000 per yearHuawei Canada has an immediate 4-month Internship opening for a Researcher.About the team:The Intelligent Testing Technology Team, currently a part of the Waterloo Research Centre, is at the forefront of integrating large language models (LLMs) with formal methods to advance artificial intelligence. By harnessing LLMs' strengths in natural language...
-
Intern Researcher
1 week ago
Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full time $60,000 - $90,000 per yearHuawei Canada has an immediate 4-month Internship opening for a Researcher.About the team:The Intelligent Testing Technology Team, currently a part of the Waterloo Research Centre, is at the forefront of integrating large language models (LLMs) with formal methods to advance artificial intelligence. By harnessing LLMs' strengths in natural language...
-
Lead Formal Verification Engineer
2 weeks ago
Markham, Ontario, Canada Advanced Micro Devices, Inc Full time US$150,000 - US$250,000 per yearWHAT YOU DO AT AMD CHANGES EVERYTHING At AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create...
-
Research Associate
3 days ago
Markham, Ontario, Canada SE Health Full time $62,000 - $110,000 per yearPosition SummaryThe SE Research Centre conducts impact-oriented applied health services research to synthesize, generate, translate, adapt and directly apply scientific evidence in the design, delivery and evaluation of person and family-centered health and social care services.The Research Associate plays a key role in advancing impactful applied research...
-
Researcher - Embodied HCI and Robotics
1 week ago
Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full time $120,000 - $180,000 per yearHuawei Canada has an immediate 12-month contract opening for a Researcher. About the team:The Human-Machine Interaction Lab unites global talents to redefine the relationship between humans and technology. Focused on innovation and user-centered design, the lab strives to advance human-computer interaction research. Our team includes researchers,...
-
Clinical Research Safety Associate
3 days ago
Markham, Ontario, Canada Everest Clinical Research Full time US$60,000 - US$80,000 per yearEverest Clinical Research ("Everest") is a full-service contract research organization (CRO) providing a broad range of expertise-based clinical research services to worldwide pharmaceutical, biotechnology, and medical device industries. We serve some of the best-known companies and work with many of the most advanced drugs, biologics, and medical devices in...
-
Research Fellow
3 days ago
Markham, Ontario, Canada SE Health Full time $50,000 - $60,000 per yearPosition SummaryThe SE Research Centre conducts impact-oriented health services research to synthesize, generate, translate, adapt and directly apply scientific evidence in the design, delivery and evaluation of person and family-centered health and social care services.This 2-year Research Fellowship requires expertise in mixed methods research. The...
-
Markham, Ontario, Canada Huawei Canada Full time $120,000 - $180,000 per year**Huawei Canada has an immediate permanent opening for a Software Engineer.About the team:**The Distributed Data Storage and Management Lab leads research in distributed data systems, aiming to develop next-generation cloud serverless products that encompass core infrastructure and databases. This lab addresses various data challenges, including cloud-native...
-
Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full time $120,000 - $180,000 per yearHuawei Canada has an immediate permanent opening for a Software Engineer.About the team: The Distributed Data Storage and Management Lab leads research in distributed data systems, aiming to develop next-generation cloud serverless products that encompass core infrastructure and databases. This lab addresses various data challenges, including cloud-native...
-
Markham, Ontario, Canada Huawei Technologies Canada Co., Ltd. Full time $120,000 - $180,000 per yearHuawei Canada has an immediate permanent opening for a Software Engineer. About the team: The Distributed Data Storage and Management Lab leads research in distributed data systems, aiming to develop next-generation cloud serverless products that encompass core infrastructure and databases. This lab addresses various data challenges, including...
