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
B
Solution Engineer
🏢 Botpress, Inc.
📍 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
A
Applied Physics Specialist - AI Content Evaluator
🏢 Alignerr
📍 Montreal (administrative region), QC, Canada
C
Associate Producer
🏢 creā-ture Studios Inc.
📍 Montreal, Montreal (administrative region), Canada
H
Frontend Software Engineer (React) - Up to $200k CAD + Bonus
🏢 Hunter Bond
📍 Montreal, Montreal (administrative region), Canada
X
Manufacturing Engineer: High-Reliability Electronics & Lean
🏢 Xiphos
📍 Montreal (administrative region), QC, Canada
I
Embedded Software Developer
🏢 Intelcom | Dragonfly
📍 Montreal, Montreal (administrative region), Canada
G
Continuous Improvement Manager
🏢 gategroup
📍 Montreal (administrative region), QC, Canada
K
Staff Software Developer, Operations Research
🏢 Kinaxis
📍 Montreal, Montreal (administrative region), Canada
V
Ingénieur Industriel / Industrial Engineer
🏢 Vortex Aquatic Structures International
📍 Pointe-Claire, Montreal (administrative region), Canada
G
Staff DevOps Engineer
🏢 GeoComply
📍 Montreal, Montreal (administrative region), Canada
E
Senior Software Engineer, C++
🏢 Exegy
📍 Montreal (administrative region), QC, Canada
K
Staff Applied Scientist, AI/ML
🏢 Kinaxis
📍 Montreal, Montreal (administrative region), Canada
K
Staff Software Engineer, Operations Research (Hybrid/Remote)
🏢 Kinaxis
📍 Montreal, Montreal (administrative region), Canada
P
Field based - Protection and Control Commissioning Tech/Specialist/Engineer
🏢 Phasor Engineering Inc
📍 Montreal, Montreal (administrative region), Canada
M
Montreal Software Engineer — Build Tools & CI Expert
🏢 Motive Studio
📍 Montreal, Montreal (administrative region), Canada
I
Senior Printed Circuit Board Designer
🏢 Insight Global
📍 Montreal, Montreal (administrative region), Canada
M
Linux Endpoint Infrastructure Engineering Specialist (Hybrid)
🏢 Morgan Stanley
📍 Montreal, Montreal (administrative region), Canada