Associate Researcher- LLMs/Formal Verficaitons
4 weeks ago
OverviewHuawei Canada has an immediate 4-month Internship opening for an Associate Researcher- LLMs/Formal VerificationsAbout the teamThe 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 jobDesign and implement type-checking and verification tools for use in neuro-symbolic systems, which combine symbolic reasoning with generative AI modelsCollaborate with AI, formal methods, and systems researchers to bring about AI-driven solutions to real-world software systems engineering challengesQualificationsCurrently pursuing or has completed a degree in computer scienceStrong functional programming skills (preferably with Haskell)Strong background in formal specification, formal verification, and/or software analysis (including type checking) #J-18808-Ljbffr
-
Associate Researcher- LLMs/Formal Verficaitons
3 weeks ago
Markham, Canada Huawei Canada Full timeAssociate Researcher – LLMs/Formal Verifications Huawei Canada has an immediate 4‑month internship opening for the Associate Researcher – LLMs/Formal Verifications role. About the team The Intelligent Testing Technology Team, part of the Waterloo Research Centre, integrates large language models (LLMs) with formal methods to advance AI. By harnessing...
-
Associate Researcher- LLMs/Formal Verficaitons
4 weeks ago
Markham, Canada Huawei Canada Full timeAssociate Researcher – LLMs/Formal Verifications Huawei Canada has an immediate 4‑month internship opening for the Associate Researcher – LLMs/Formal Verifications role. About the team The Intelligent Testing Technology Team, part of the Waterloo Research Centre, integrates large language models (LLMs) with formal methods to advance AI. By harnessing...
-
Associate Researcher- LLMs/Formal Verficaitons
4 weeks ago
Markham, Canada Huawei Technologies Canada Co., Ltd. Full timeOverviewHuawei Canada has an immediate 4-month Internship opening for an Associate Researcher- LLMs/Formal VerificationsAbout the teamThe 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...
-
Markham, Ontario, Canada Huawei Canada Full time $60,000 - $90,000 per yearHuawei Canada has an immediate 4-month Internship opening for an Associate Researcher- LLMs/Formal VerificationsAbout 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'...
-
Allstate Parkway Markham, Ontario, LR B Canada Huawei Technologies Canada Co. Full time US$75,000 - US$95,000 per yearJob description Huawei Canada has an immediate 4-month Internship opening for an Associate Researcher- LLMs/Formal VerificationsAbout 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...
-
Intern: LLMs
3 weeks ago
Markham, Canada Huawei Technologies Canada Co., Ltd. Full timeA leading technology company in Canada is offering a 4-month internship for an Associate Researcher focused on LLMs and formal verifications. You will design verification tools and collaborate with experts in artificial intelligence to solve software systems engineering challenges. The ideal candidate is pursuing or has completed a computer science degree...
-
Research Engineer
2 weeks ago
Markham, Canada Huawei Technologies Canada Co., Ltd. Full timeHuawei Canada has an immediate 12-month contract opening for a Research Engineer.About the team:The Intelligent Testing Technology Team, part of the Waterloo Research Centre, is at the forefront of integrating large language models (LLMs) with formal methods to advance artificial intelligence. The team explores the synergy between LLMs' natural language...
-
Research Engineer
3 days ago
Markham, Canada Huawei Technologies Canada Co., Ltd. Full timeHuawei Canada has an immediate 12-month contract opening for a Research Engineer. About the team: The Intelligent Testing Technology Team, part of the Waterloo Research Centre, is at the forefront of integrating large language models (LLMs) with formal methods to advance artificial intelligence. The team explores the synergy between LLMs' natural language...
-
Research Engineer
18 hours ago
Markham, Canada Huawei Technologies Canada Co., Ltd. Full timeHuawei Canada has an immediate 12-month contract opening for a Research Engineer. About the team: The Intelligent Testing Technology Team, part of the Waterloo Research Centre, is at the forefront of integrating large language models (LLMs) with formal methods to advance artificial intelligence. The team explores the synergy between LLMs' natural language...
-
Research Engineer
3 weeks ago
Markham, Canada Futureshaper.com Full timeHuawei Canada has an immediate permanent opening for a Research Engineer. About the team: The Intelligent Testing Technology Team, currently 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...
