Remote Lean 4 Formal Verification Scientist Jobs in Toronto
ethical AI opportunities in Canada
Jobs Found
A
Remote Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 Vancouver, Toronto, Montreal (Administrative Region), Calgary, Montreal, Ottawa, Edmonton, Mississauga, Quebec, Moncton, Metro Vancouver Regional District, Ontario, Quebec, Alberta, Montreal (administrative region), Ontario, Division No. 11, Peel Region, Capitale-Nationale, Moncton Parish, Canada
A
Remote Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 Toronto, Vancouver, Montreal (Administrative Region), Calgary, Montreal, Ottawa, Edmonton, Mississauga, Quebec, Moncton, Ontario, Metro Vancouver Regional District, Quebec, Alberta, Montreal (administrative region), Ontario, Division No. 11, Peel Region, Capitale-Nationale, Moncton Parish, Canada
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Toronto, ON, Canada
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Toronto, ON, Canada
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Vancouver, Toronto, Montreal (Administrative Region), Calgary, Montreal, Ottawa, Edmonton, Mississauga, Quebec, Moncton, Metro Vancouver Regional District, Ontario, Quebec, Alberta, Montreal (administrative region), Ontario, Division No. 11, Peel Region, Capitale-Nationale, Moncton Parish, Canada
A
Mathematical Formalization Specialist - Remote
🏢 Alignerr
📍 Toronto, ON, Canada
L
Mathematical Formalization Specialist - Remote
🏢 Labelbox
📍 Vancouver, Toronto, Montreal (Administrative Region), Calgary, Montreal, Ottawa, Edmonton, Mississauga, Quebec, Moncton, Metro Vancouver Regional District, Ontario, Quebec, Alberta, Montreal (administrative region), Ontario, Division No. 11, Peel Region, Capitale-Nationale, Moncton Parish, Canada
L
Mathematical Formalization Specialist - Remote
🏢 Labelbox
📍 Toronto, Vancouver, Montreal (Administrative Region), Calgary, Montreal, Ottawa, Edmonton, Mississauga, Quebec, Moncton, Ontario, Metro Vancouver Regional District, Quebec, Alberta, Montreal (administrative region), Ontario, Division No. 11, Peel Region, Capitale-Nationale, Moncton Parish, Canada
L
Lean Proof Architect for Formal Verification
🏢 Labelbox
📍 Toronto, Vancouver, Montreal (Administrative Region), Calgary, Montreal, Ottawa, Edmonton, Mississauga, Quebec, Moncton, Ontario, Metro Vancouver Regional District, Quebec, Alberta, Montreal (administrative region), Ontario, Division No. 11, Peel Region, Capitale-Nationale, Moncton Parish, Canada
L
Lean Proof Architect for Formal Verification
🏢 Labelbox
📍 Vancouver, Toronto, Montreal (Administrative Region), Calgary, Montreal, Ottawa, Edmonton, Mississauga, Quebec, Moncton, Metro Vancouver Regional District, Ontario, Quebec, Alberta, Montreal (administrative region), Ontario, Division No. 11, Peel Region, Capitale-Nationale, Moncton Parish, Canada
C
Senior Staff ASIC Design Egineer - AI / ML Hardware IP
🏢 Confidential
📍 Toronto, ON, Canada
C
Senior Staff ASIC Design Egineer - AI / ML Hardware IP
🏢 Confidential
📍 Toronto, ON, Canada
F
Data Scientist II: AI/ML Leader (Toronto Onsite)
🏢 Firstlight Media Ltd
📍 Toronto, ON, Canada
S
Remote Data Scientist — Azure, Python & SQL
🏢 Source Code
📍 Toronto, ON, Canada
F
Senior ML Engineer - Remote-First, Impact & Growth
🏢 Flipp
📍 Toronto, ON, Canada
M
Remote Conservation Scientist for AI Research (Contract)
🏢 Mercor
📍 Montreal (Administrative Region), Toronto, Vancouver, Calgary, Montreal, Ottawa, Edmonton, Mississauga, Quebec, Moncton, Quebec, Ontario, Metro Vancouver Regional District, Alberta, Montreal (administrative region), Ontario, Division No. 11, Peel Region, Capitale-Nationale, Moncton Parish, Canada
A
Staff / Sr Staff Design Verification Engineer
🏢 Alphawave IP Inc
📍 Toronto, ON, Canada
C
Store Manager - Full Time
🏢 Collins Formal Wear
📍 Toronto, ON, Toronto Census Division, ON; Ontario, Canada
S
Data Scientist (Azure, Python, and SQL) - Toronto, ON
🏢 Source Code
📍 Toronto, ON, Canada