Research Engineer - Formal Methods/LLMs

Huawei Canada; Markham; On-site; CAD 70,000 - 110,000; Full time

Job summary

An established industry player is seeking a Research Engineer to join their Intelligent Testing Technology Team. This role involves engaging in cutting-edge research projects focused on neuro-symbolic systems, which integrate symbolic AI with formal methods to enhance large language models. The successful candidate will design and validate architectures while contributing to impactful research publications. This position offers a unique opportunity to work at the forefront of artificial intelligence, collaborating with industry leaders on innovative projects that shape the future of technology. If you're passionate about advancing AI through research, this role is perfect for you.

Qualifications

• Ph.D. in relevant fields with focus on symbolic techniques.
• Experience in developing symbolic computation tools.

Responsibilities

• Engage in research on neuro-symbolic systems to enhance LLM outputs.
• Design and validate NSS architectures and properties.

Skills

Symbolic AI

Formal Methods

Programming Language Theory

Functional Programming (Haskell)

Category Theory

Education

Ph.D. in Computer Science

Ph.D. in Software Engineering

Ph.D. in Mathematics

Tools

Model Checkers

Theorem Provers

Compilers

Job description

Huawei 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, focuses on integrating large language models (LLMs) with formal methods to advance artificial intelligence. The team explores the synergy between natural language processing and formal verification techniques, collaborating with industry leaders on innovative projects.

About the job:

1. Engage in research projects on neuro-symbolic systems (NSSs) that combine symbolic AI and formal methods to improve LLM outputs.
2. Design and validate NSS architectures and properties.
3. Contribute to research publications to share findings.

Job requirements:

• Ph.D. in Computer Science, Software Engineering, Mathematics, or related fields, with a focus on symbolic techniques and formal methods tools.
• Experience in developing symbolic computation tools like programming language tools, compilers, model checkers, theorem provers, etc. Familiarity with functional programming languages such as Haskell is a plus.
• Knowledge of programming language theory, logic, and symbolic verification is desirable.
• Interest in integrating LLMs with symbolic tools.
• Knowledge of Category Theory is an asset.

Additional details:

• Seniority level: Entry level
• Employment type: Full-time
• Job function: Engineering and Information Technology
• Industry: Telecommunications