Lean 4 Formal Methods Researcher Remote Jobs in Vancouver

AI opportunities in Canada

Jobs Found

Lean 4 Formal Methods Researcher - Remote

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

Remote Lean 4 Proof Engineer: Formalize Advanced Math

🏢 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

User Experience Researcher (Bangkok-based, Relocation provided)

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

UX Researcher, AI for Enterprise Dev Tools (Remote)

🏢 GitLab 📍 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 IT-&-Technology
View Opening Details

Senior UX Researcher - Bangkok (Relocation Included)

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

Senior Quantitative User Experience Researcher (Frontend) (Bangkok-based, Relocation provided)

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

Senior Quantitative User Experience Researcher (Frontend) (Bangkok-based, Relocation provided)

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