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