Lean 4 Formal Verification Scientist Jobs in Montreal

AI opportunities in Canada

Jobs Found

Lean 4 Formal Verification Scientist

🏢 Alignerr 📍 Montreal, QC, Canada
Full-time Other
View Opening Details

Lean 4 Formal Verification Scientist

🏢 Alignerr 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr 📍 Montreal, QC, Canada
Full-time Other
View Opening Details

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

Remote Lean 4 Researcher — Formal Proof Architect

🏢 Alignerr 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

Researcher - Lean 4 & Formal Proof Systems

🏢 Alignerr 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

Researcher - Lean 4 & Formal Proof Systems

🏢 Alignerr 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

Remote Lean 4 Researcher — Formal Proof Architect

🏢 Alignerr 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

GenAI Developer Montreal,Quebec,Canada Product Development

🏢 Ericsson GmbH 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

GenAI Developer Montreal,Quebec,Canada Product Development

🏢 Ericsson GmbH 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

ASIC Digital Design, Sr Staff Engineer - Verification

🏢 Synopsys, Inc. 📍 Montreal, QC, Canada
Full-time IT-&-Technology
View Opening Details

Concepteur système

🏢 Puzzle Medical Devices® Inc. 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

Concepteur système

🏢 Puzzle Medical Devices® Inc. 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

ASIC Digital Design, Sr Staff Engineer - Verification

🏢 Synopsys, Inc. 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

R&D II, Embedded Systems / R et D II, Systèmes embarqués

🏢 Boston Scientific 📍 Montreal, Quebec, Canada
Full-time Computer-Occupations
View Opening Details

ML Research Scientist (probabilistic inference)

🏢 LawZero 📍 Montreal, Montreal (administrative region), Canada
Full-time Other
View Opening Details

ML Research Scientist (probabilistic inference)

🏢 LawZero 📍 Montreal, Montreal (administrative region), Canada
Full-time Other-General
View Opening Details

ML Research Scientist (probabilistic inference)

🏢 LawZero 📍 Montreal, Montreal (administrative region), Canada
Full-time Other-General
View Opening Details

ML Research Scientist

🏢 LawZero 📍 Montreal, Montreal (administrative region), Canada
Full-time Other-General
View Opening Details

ML Research Scientist

🏢 LawZero 📍 Montreal, Montreal (administrative region), Canada
Full-time Other
View Opening Details

Building Coordinator- 12 Month Contract

🏢 Heartland Coca-Cola Bottling Company, LLC 📍 Montreal, Montreal (administrative region), Canada
Full-time Other-General
View Opening Details

GenAI Data Scientist Co‑op (Montreal)

🏢 Ericsson GmbH 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

GenAI Data Scientist Co‑op (Montreal)

🏢 Ericsson GmbH 📍 Montreal (administrative region), QC, Canada
Full-time Other-General
View Opening Details

Chercheur.se en sécurité de l'IA (Spécialisation apprentissage automatique)

🏢 LawZero 📍 Montreal, Montreal (administrative region), Canada
Full-time Other-General
View Opening Details

Applied Scientist - Sleep Tech & ML (Remote)

🏢 Bía Neuroscience 📍 Toronto, Montreal (Administrative Region), Vancouver, Calgary, Ottawa, Edmonton, Montreal, Mississauga, Quebec, Ontario, Quebec, Metro Vancouver Regional District, Alberta, Ontario, Division No. 11, Montreal (administrative region), Peel Region, Capitale-Nationale, Canada
Full-time Other
View Opening Details

Senior ML Engineer - Remote-First, Impact & Growth

🏢 Flipp 📍 Toronto, Montreal (Administrative Region), Vancouver, Calgary, Ottawa, Edmonton, Montreal, Mississauga, Quebec, Moncton, Ontario, Quebec, Metro Vancouver Regional District, Alberta, Ontario, Division No. 11, Montreal (administrative region), Peel Region, Capitale-Nationale, Moncton Parish, Canada
Full-time IT-&-Technology
View Opening Details

Material Resource Planner

🏢 MaxSys Staffing and Consulting 📍 Montreal, Quebec, Canada
Contract Business-Operations-Specialists
View Opening Details

Gestionnaire de l'Amélioration Continue (CI) Détails de l’emploi | Aecon

🏢 Aecon Group Inc. 📍 Montreal, Montreal, Canada
Full-time Other-General
View Opening Details

small engine mechanic

🏢 Équipements Gariani 📍 Montreal, Montreal, Canada
Full-time Other-General
View Opening Details