Associate Researcher- LLMs/Formal Verficaitons
4 weeks ago
Associate 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 LLMs’ strengths in natural language processing and generation, this team explores synergy with formal verification techniques. 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 AI‑driven solutions to real‑world software systems engineering challenges. 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). Seniority level Internship Employment type Full‑time Job function Research, Analyst, and Information Technology Industry Telecommunications Location and Compensation Toronto, Ontario, Canada – CA$80,000.00–CA$120,000.00 (listed 2 weeks ago) Referrals increase your chances of interviewing at Huawei Canada by 2×. #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 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...
-
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
11 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
4 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...
