Remote Lean 4 Formal Verification Scientist Mathlib Jobs in Vancouver
ethical AI opportunities in Canada
Jobs Found
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Remote Lean 4 Formal Verification Scientist (Mathlib)
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Remote Lean 4 Formal Verification Scientist (Mathlib)
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Remote Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Remote Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
L
Mathematical Formalization Specialist - Remote
🏢 Labelbox
📍 Vancouver, Metro Vancouver Regional District, Canada
L
Mathematical Formalization Specialist - Remote
🏢 Labelbox
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Remote Lean 4 Formal Methods Researcher
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
L
Lean Proof Architect for Formal Verification
🏢 Labelbox
📍 Vancouver, Metro Vancouver Regional District, Canada
L
Lean Proof Architect for Formal Verification
🏢 Labelbox
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Remote Lean 4 Proof Engineer: Mathematical Formalization
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Remote Lean 4 Proof Engineer: Mathematical Formalization
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
W
Environmental Scientist
🏢 WSP in Canada
📍 Vancouver, Metro Vancouver Regional District, Canada
W
Environmental Scientist
🏢 WSP in Canada
📍 Vancouver, Metro Vancouver Regional District, Canada