Remote Lean 4 Proof Engineer Formalize Advanced Math Jobs in Vancouver

AI opportunities in Canada

Jobs Found

Remote Lean 4 Proof Engineer: Formalize Advanced Math

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

Lean 4 Proof Engineer - Mathematical Formalization

🏢 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

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

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

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

Lean 4 Formal Methods Researcher - Remote

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

Remote Mathematics Researcher (PhD) - 34877

🏢 Turing 📍 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

Business Process owner to do SAP process mapping & documentation as they go through S/4 Hana implementation

🏢 S.i. Systems 📍 Vancouver, British Columbia, Canada
Contract Business-Operations-Specialists
View Opening Details

[2026 Canada] Software Engineer, Geometry - Early Career

🏢 Roblox 📍 Vancouver, British Columbia, Canada
Full-time Engineers
View Opening Details

Senior Engineer - Large Model and Training System Performance Optimization

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