LLM & Formal Verification Research InternHuawei Canada • Markham, York Region, CA

LLM & Formal Verification Research Intern

Huawei Canada • Markham, York Region, CA

30+ days ago

Job type

Full-time

Job description

A leading telecommunications firm is seeking an Associate Researcher for a 4-month internship in Toronto, Ontario. The role involves designing verification tools and collaborating on AI-driven software engineering projects. Ideal candidates are pursuing or have completed a computer science degree, with strong functional programming skills, preferably in Haskell. Competitive salary ranges from CA$80,000 to CA$120,000.

#J-18808-Ljbffr

Create a job alert for this search

Research Intern • Markham, York Region, CA

Similar jobs

Research Intern - Multimodal Learning

Microsoft Canada • Toronto, Canada

Full-time

Overview Research Internships at Microsoft provide a dynamic environment for research careers with a network of world-class research labs led by globally-recognized scientists and engineers, who pu...Show more

Last updated: 4 days ago • Promoted

Intern, Benchmarking & Insights - Summer 2026

MaRS Discovery District • Toronto, ON, Canada

Full-time

MaRS Discovery District (@MaRSDD) is a charitable organization and North Americas largest urban innovation hub, dedicated to helping high-growth technology companies succeed.With a focus on climate...Show more

Last updated: 1 day ago • Promoted

Environmental Intern

GEI Consultants • Markham, ON, Canada

Full-time

GEI Consultants is seeking passionate and motivated students eligible for summer employment for the May 2026 term who are eager to make a positive impact on our growing team.This is an exciting opp...Show more

Last updated: 18 days ago • Promoted

Intern

Community Paramedic Integration Project • newmarket, on, ca

Full-time

Internship Opportunity | 2026 Winter Cycle Open.Are you a passionate student or recent graduate eager to make a meaningful, real-world impact?. The Community Paramedic Integration Project (CPIP) is ...Show more

Last updated: 9 hours ago • Promoted • New!

Trigonometry Private Tutoring Jobs Lake Simcoe

Superprof • Lake Simcoe, Canada

Full-time +1

Superprof is Canada's #1 tutoring platform, and we're actively recruiting passionate tutors! Whether you're a student, a professional, or simply someone who loves teaching, join the largest communi...Show more

Last updated: 30+ days ago • Promoted

Growth Intern

LTV • Toronto, ON, Canada

Full-time

At LTV AI, we’re redefining customer engagement for e-commerce brands by empowering them with their own AI-powered ambassadors to deliver hyper-personalized Email and SMS interactions at an u...Show more

Last updated: 30+ days ago • Promoted

LLM & Formal Verification Research Intern

Huawei Canada • Markham

Full-time

Last updated: 30+ days ago • Promoted

Associate : MLOps & Model Governance

BMO • Toronto

Full-time

A leading financial services provider is seeking an Associate, Data Scientist Model Governance in Toronto.The role involves working on MLOps and model governance for machine learning models in trad...Show more

Last updated: 9 days ago • Promoted

Trigonometry Private Tutoring Jobs Keswick

Superprof • Keswick, Canada

Full-time +1

Last updated: 30+ days ago • Promoted

Intern Strategic Researcher LLM

Huawei Technologies Canada Co., Ltd. • Markham, ON, CA

Internship

Huawei Canada has an immediate 12-month internship opening for a Strategic Researcher.The Technology Planning and Cooperation Department promotes strategic innovation across all of Huawei Canada.Wo...Show more

Last updated: 30+ days ago

Research Intern - FATE, Montréal (Fairness, Accountability, Transparency, and Ethics in AI)

Microsoft Canada • Toronto, Canada

Full-time

Overview English Text Follows French Avis : .Avant de soumettre votre candidature, veuillez vous diriger en bas de la page et choisir le site que vous préférez English | FR - (au pied de page).Sélect...Show more

Last updated: 4 days ago • Promoted

Market Research Analyst - markham

Insight Global • markham, on, ca

Temporary

Position : Market Research Analyst.Location : Calgary, Alberta (preferred).Work type : Hybrid, 2 Days / week onsite if in Calgary. Can also be remote across Canada.Targeted Start date : January 12th, 2026...Show more

Last updated: 16 hours ago • Promoted • New!

Trigonometry Private Tutoring Jobs Hawkestone

Superprof • Hawkestone, Canada

Full-time +1

Last updated: 30+ days ago • Promoted

Customer Service - Remote - 50k-60k / Year

Spade Recruiting • Sutton, Ontario

Remote

Full-time

Quick Apply

We’re looking for enthusiastic, self-driven, individuals to assist existing and prospective clients within our organization. This position will work with multiple clients throughout the day pr...Show more

Last updated: 30+ days ago • Promoted

Research Intern - Future Agent Systems

Microsoft Canada • Toronto, Canada

Full-time

Last updated: 4 days ago • Promoted

AI Research Internship

Redis • Toronto, ON, Canada

Internship

We built the product that runs the fast apps our world runs on.If you checked the weather, used your credit card, or looked at your flight status online today, you're welcome.At Redis, you'...Show more

Last updated: 24 days ago • Promoted

RQ10189 - Report Developer - Senior

Maarut Inc • East York, ON, Canada

Full-time

Participate in requirements gathering sessions to understand the functional and non-functional needs.Perform assessment, and define approach in collaboration with project team and stakeholder to su...Show more

Last updated: 1 day ago • Promoted

Retail Compliance Auditor (Part-Time)

Merchandising Consultants Associates • Craigmawr Beach, ON, Canada

Part-time

Merchandising Consultants Associates.MCA is a 100% Canadian owned and operated Merchandising Company that services Retailers and CPG companies across Canada. MCA is currently hiring Retail Complianc...Show more

Last updated: 9 days ago • Promoted