Mathematical Formalization Specialist Remote Jobs in Vancouver
ethical AI opportunities in Canada
Jobs Found
L
Mathematical Formalization Specialist - Remote
🏢 Labelbox
📍 Vancouver, Metro Vancouver Regional District, Canada
L
Mathematical Formalization Specialist - Remote
🏢 Labelbox
📍 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
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 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
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 Math Specialist for AI Research (PhD/MS)
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Mathematics Specialist (Masters/PhDs)
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Electrical Engineering Expert - AI Content Specialist
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Electrical Engineering Expert - AI Content Specialist
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Applied Physics Specialist - AI Content Evaluator
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Data Science Expert - AI Content Specialist
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
A
Data Science Expert - AI Content Specialist
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada