Jobs Found

Lean 4 Proof Engineer - Mathematical Formalization

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

Lean 4 Proof Engineer - Mathematical Formalization

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

Remote Lean 4 Proof Engineer: Mathematical Formalization

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

Remote Lean 4 Proof Engineer: Mathematical Formalization

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

Mathematical Formalization Specialist - Remote

🏢 Labelbox 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Mathematical Formalization Specialist - Remote

🏢 Labelbox 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Applied Formal Methods Researcher (Lean 4)

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

Formal Verification Scientist (Lean 4 & Mathlib)

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

Formal Verification Scientist (Lean 4 & Mathlib)

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

Formal Verification Scientist (Lean 4 & Mathlib)

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

Formal Verification Scientist (Lean 4 & Mathlib)

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

Lean Proof Architect for Formal Verification

🏢 Labelbox 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Lean Proof Architect for Formal Verification

🏢 Labelbox 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Remote Lean 4 Formal Verification Scientist

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

Remote Lean 4 Formal Verification Scientist

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

Remote Lean 4 Formal Verification Scientist (Mathlib)

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

Remote Lean 4 Formal Verification Scientist (Mathlib)

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

Remote Lean 4 Formal Methods Researcher

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

Sr. Machine Learning Algorithm Engineer

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

Applied Physics Specialist - AI Content Evaluator

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

Senior Software Developer - AI

🏢 Swim Recruiting 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Senior Software Developer - AI

🏢 Swim Recruiting 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Supplier Development Engineer

🏢 Invinity Energy Systems 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Supplier Development Engineer

🏢 Invinity Energy Systems 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Senior Software Engineer (Product)

🏢 Owl.co 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Software Engineer in Solutions

🏢 Suger 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Senior Software Engineer - Solutions

🏢 Suger.io 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Software Engineer in Solutions

🏢 Suger 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General

Lean Continuous Improvement Engineer: Kaizen & Data-Driven

🏢 Vaco Recruiter Services 📍 Surrey, Metro Vancouver Regional District, Canada
Full-time Other-General

Lean Continuous Improvement Engineer: Kaizen & Data-Driven

🏢 Vaco Recruiter Services 📍 Surrey, Metro Vancouver Regional District, Canada
Full-time Other-General