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

Lean Proof Architect: Formalize Advanced Math

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

Remote Staff Design Researcher — AI-Driven Product Strategy

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

Remote Staff Design Researcher — AI-Driven Product Strategy

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

PhD Quantum Computers _ Vancouver / Canada

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

PhD Quantum Computers _ Vancouver / Canada

🏢 Quatre Recursos Humanos 📍 Vancouver, British Columbia, Canada
Permanente Computer-Occupations
View Opening Details

PhD Quantum Computers _ Vancouver / Canada

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

PhD Quantum Computers _ Vancouver / Canada

🏢 Quarte Recursos Humanos 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Marketing-&-Media
View Opening Details

User Experience Health Researcher

🏢 Alquemy Search & Consulting 📍 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