Associate Researcher- LLMs/Formal Verficaitons

Confidential

Markham, Ontario, Canada permanent

Posted: January 30, 2026

Interested in this position?

Create a free account to apply with AI-powered matching

Quick Summary

As an Associate Researcher- LLMs/Formal Verifications, you will work on integrating large language models with formal methods to advance artificial intelligence, collaborating with industry leaders on groundbreaking projects.

Required Skills

Computer Science Degree Functional Programming (Haskell) Formal Specification Formal Verification Software Analysis Type Checking

Job Description

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

Why Apply Through MisuJob?

AI-Powered Job Matching: MisuJob uses advanced artificial intelligence to analyze your skills, experience, and career goals. Our matching algorithm compares your profile against thousands of job requirements to find positions where you have the highest chance of success. This saves you hours of manual job searching and ensures you only see relevant opportunities.

One-Click Applications: Once you create your profile, applying to jobs is effortless. Your resume and cover letter are automatically tailored to highlight the most relevant experience for each position. You can apply to multiple jobs in minutes, not hours.

Career Intelligence: Beyond job matching, MisuJob provides valuable career insights. See how your skills compare to market demands, identify skill gaps to address, and understand salary benchmarks for your experience level. Make data-driven decisions about your career path.

Frequently Asked Questions

How do I apply for this position?

Click the "Register to Apply" button above to create a free MisuJob account. Once registered, you can apply with one click and track your application status in your dashboard.

Is MisuJob free for job seekers?

Yes, MisuJob is completely free for job seekers. Create your profile, get matched with jobs, and apply without any cost. We help you find your dream job without any hidden fees.

How does AI matching work?

Our AI analyzes your resume, skills, and experience to understand your professional profile. It then compares this against job requirements using natural language processing to calculate a match percentage. Higher matches mean better fit for the role.

Can I apply to jobs in other countries?

Absolutely. MisuJob features jobs from companies worldwide, including remote positions. Filter by location or look for remote opportunities to find jobs that match your preferences.

Ready to Apply?

Join thousands of job seekers using MisuJob's AI to find and apply to their dream jobs automatically.

Create Free Account Sign In

← Browse all jobs