Associate Researcher- LLMs/Formal Verficaitons

Huawei Technologies Canada Co., Ltd.; Markham; On-site; CAD 25,000 - 35,000; Full time

Job summary

A 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 and possesses strong skills in functional programming and formal verification.

Qualifications

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

Responsibilities

• Design and implement type-checking and verification tools.
• Collaborate with researchers on AI-driven solutions.

Skills

Functional programming

Formal specification

Formal verification

Education

Degree in computer science

Job description

Overview

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

Qualifications

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