Lean 4 Proof Engineer Mathematical Formalization Jobs in Vancouver

AI opportunities in Canada

Jobs Found

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Mathematical Formalization Specialist

🏢 Alignerr 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time IT-&-Technology
View Opening Details

Mathematical Formalization Specialist

🏢 Alignerr 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other
View Opening Details

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Lean Proof Architect: Formalize Advanced Math

🏢 Alignerr 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time IT-&-Technology
View Opening Details

Lean Proof Architect: Formalize Advanced Math

🏢 Alignerr 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Lean 4 Formal Methods Researcher - Remote

🏢 Alignerr 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Remote Lean 4 Proof Engineer: Formalize Advanced Math

🏢 Alignerr 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Lean 4 Formal Verification Scientist

🏢 Alignerr 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Lean 4 Formal Verification Scientist

🏢 Alignerr 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other
View Opening Details

Sr. Machine Learning Algorithm Engineer

🏢 Appsierra Group 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Remote Pure Math Specialist & AI Reasoning Trainer

🏢 Meridial Marketplace, by Invisible 📍 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 Marketing-&-Media
View Opening Details

PIMS Manager of Operations

🏢 University of British Columbia - Staff 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

QA Specialist

🏢 2312 GG Canada Inc. 📍 Vancouver, British Columbia, Canada
Full time Business-Operations-Specialists
View Opening Details

PIMS Manager of Operations

🏢 The University of British Columbia 📍 Vancouver, British Columbia, Canada
Full time Operations-Specialties-Managers
View Opening Details

PIMS Manager of Operations

🏢 The University of British Columbia 📍 Vancouver, British Columbia, Canada
Full time Operations-Specialties-Managers
View Opening Details

QA Specialist

🏢 Gategroup 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Data Technician

🏢 Aerotek 📍 Vancouver, BC, Canada
Full-time 4
View Opening Details

Data Technician

🏢 Aerotek 📍 Vancouver, BC, Canada
Full-time 4
View Opening Details