Lean Proof Architect Formalize Advanced Math Jobs in Vancouver

AI opportunities in Canada

Jobs Found

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

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

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

Enterprise Architect - Epic

🏢 Compunnel, Inc. 📍 Vancouver, BC, 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

Senior Microsoft 365 Platform Architect (Customer Success) (3) Remote (any location) $130k - $1[...]

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

Senior Microsoft 365 Platform Architect (Customer Success)

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

Senior Microsoft 365 Platform Architect (Customer Success) (3) Remote (any location) $130k - $1[...]

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

Senior Microsoft 365 Platform Architect (Customer Success)

🏢 Orchestry Software Inc 📍 Vancouver, British Columbia, Canada
Remote Computer-Occupations
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

Senior Project Manager

🏢 Confidential 📍 Vancouver, British Columbia, Canada
Full-time Business-Operations-Specialists
View Opening Details

Senior Lifecycle & Retention Marketing Manager

🏢 Pearl West 📍 Vancouver, British Columbia, Canada
Full-time Advertising,-Marketing,-Promotions,-Public-Relations,-and-Sales-Managers
View Opening Details

Houdini Simulation Technical Engineer

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