Remote Lean 4 Proof Engineer Mathematical Formalization Jobs in Montreal Administrative Region
ethical AI opportunities in Canada
Jobs Found
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 Montreal (administrative region), QC, Canada
A
Remote Lean 4 Proof Engineer: Mathematical Formalization
🏢 Alignerr
📍 Montreal (administrative region), QC, Canada
A
Remote Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 Toronto, Calgary, Vancouver, Montreal, Montreal (Administrative Region), Ottawa, Edmonton, Mississauga, Quebec, Moncton, Ontario, Alberta, Metro Vancouver Regional District, Montreal (administrative region), Quebec, Ontario, Division No. 11, Peel Region, Capitale-Nationale, Moncton Parish, Canada
A
Applied Physics Specialist - AI Content Evaluator
🏢 Alignerr
📍 Montreal (administrative region), QC, Canada
C
QA Tester
🏢 creā-ture Studios Inc.
📍 Montreal, Montreal (administrative region), Canada
C
QA Tester
🏢 creā-ture Studios Inc.
📍 Montreal, Montreal (administrative region), Canada
C
Associate Producer
🏢 creā-ture Studios Inc.
📍 Montreal, Montreal (administrative region), Canada
B
Solution Engineer
🏢 Botpress, Inc.
📍 Montreal (administrative region), QC, Canada
I
Embedded Software Developer
🏢 Intelcom | Dragonfly
📍 Montreal, Montreal (administrative region), Canada
K
Staff Software Developer, Operations Research
🏢 Kinaxis
📍 Montreal, Montreal (administrative region), Canada
H
Software Engineer - Elite FinTech - Up to $200k CAD First Year Comp - Montreal
🏢 Hunter Bond
📍 Montreal, Montreal (administrative region), Canada
H
Frontend Software Engineer (React) - Up to $200k CAD + Bonus
🏢 Hunter Bond
📍 Montreal, Montreal (administrative region), Canada
C
Golang System Software Engineer - Containers / Virtualisation
🏢 Canonical
📍 Montreal, Montreal (administrative region), Canada
M
Remote Electrical Engineer for AI Research - Contract (15+ hrs/wk)
🏢 Mercor
📍 Montreal (administrative region), QC, Canada
D
Senior Data Developer: Scheduling & Forecasting (Hybrid)
🏢 Dialogue
📍 Montreal (administrative region), QC, Canada
P
Remote Full-Stack Engineer | Backend Focus (Python/Node.js)
🏢 Pragmatike
📍 Montreal (administrative region), QC, Canada
M
Remote Chemical Engineer for AI Research (Contract)
🏢 Mercor
📍 Montreal (administrative region), QC, Canada
M
Remote Contract Chemical Engineer for AI Research
🏢 Mercor
📍 Montreal (administrative region), QC, Canada
M
Remote Electrical Engineer for AI Research (Contract)
🏢 Mercor
📍 Montreal (administrative region), QC, Canada
M
Remote Health & Safety Engineer — AI Research Contract
🏢 Mercor
📍 Montreal (administrative region), QC, Canada
M
Remote Contract Chemical Engineer for AI Research
🏢 Mercor
📍 Montreal (administrative region), QC, Canada
M
Linux Endpoint Infrastructure Engineering Specialist (Hybrid)
🏢 Morgan Stanley
📍 Montreal, Montreal (administrative region), Canada
M
Remote Environmental Engineer for AI Research (Contract)
🏢 Mercor
📍 Montreal (administrative region), QC, Canada