Associate Researcher- LLMs​/Formal Verficaitons

Associate Researcher – LLMs/Formal Verifications

Huawei Canada has an immediate 4‑month internship opening for the Associate Researcher – LLMs/Formal Verifications role.

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.

• 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.

• 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).

Internship

Full‑time

Research, Analyst, and Information Technology

Telecommunications

Toronto, Ontario, Canada – CA $80,000.00–CA$ (listed 2 weeks ago)

Referrals increase your chances of interviewing at Huawei Canada by 2×.