Collaborate with industry leaders on groundbreaking projects integrating large language models with formal methods to advance artificial intelligence.
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
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)
Huawei Technologies Canada specializes in developing advanced data analytics platforms and innovative programming technologies. Targeted at enhancing public capacity and driving AI/ML advancements, Huawei Canada focuses on creating next-generation operating systems and optimizing performance across embedded systems.
Please mention you found this job on AI Jobs. It helps us get more startups to hire on our site. Thanks and good luck!
Understand the required skills and qualifications, anticipate the questions you may be asked, and study well-prepared answers using our sample responses.
Researcher Q&A's