Formal Verification Scientist Lean 4 Mathlib Jobs in Vancouver

AI opportunities in Canada

Jobs Found

Design Verification Manager

🏢 Riscv 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Prefabrication Manager - Mechanical Construction

🏢 Division 15 Mechanical Ltd. 📍 Richmond, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Senior Project Manager

🏢 Clark Builders 📍 Vancouver, British Columbia, Canada
Full time Business-Operations-Specialists
View Opening Details

Senior Project Manager

🏢 Clark Builders 📍 Vancouver, British Columbia, Canada
Full time Business-Operations-Specialists
View Opening Details

Field Environmental Scientist - Hybrid (BC Remediation)

🏢 WSP in Canada 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Data Scientist

🏢 DarkVision 📍 North Vancouver, British Columbia, Canada
Full-time Mathematical-Science-Occupations
View Opening Details

Remediation Field Scientist – Remote/Hybrid

🏢 WSP USA 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Research Scientist II, Brand Registry

🏢 Amazon 📍 Vancouver, BC, Canada
Full-time other-general
View Opening Details

Research Scientist II, Brand Registry

🏢 Amazon 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Manufacturing Engineer II - Solar

🏢 Sierra Space 📍 Vancouver, British Columbia, Canada
Full time Engineers
View Opening Details

Short Term 2026 Hardware Design Verification Engineering Intern/Co-Op

🏢 Advanced Micro Devices, Inc 📍 Vancouver, British Columbia, Canada
Full-time Engineers
View Opening Details

Environmental Scientist

🏢 WSP in Canada 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Research Scientist II, Brand Registry

🏢 Amazon 📍 Vancouver, British Columbia, Canada
Full-time other-general
View Opening Details

Protocol Engineer

🏢 King River Capital Group 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Remote Growth Marketing Lead - AI-Powered Mineral Discovery

🏢 VRIFY 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Applied Scientist II, Automated Profitability

🏢 Amazon Development Centre Canada ULC 📍 Vancouver, British Columbia, Canada
full-time Mathematical-Science-Occupations
View Opening Details

Applied Scientist II, Automated Profitability

🏢 Amazon Development Centre Canada ULC 📍 Vancouver, British Columbia, Canada
full-time Mathematical-Science-Occupations
View Opening Details

Salesforce Admin & BA — Process Design (Hybrid)

🏢 Trulioo Information Services Inc. 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Salesforce Admin & BA — Process Design (Hybrid)

🏢 Trulioo Information Services Inc. 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Applied Scientist II, Automated Profitability

🏢 Amazon 📍 Vancouver, BC, Canada
Full-time other-general
View Opening Details

Hybrid Salesforce Admin & Biz Analyst — Optimize & Automate

🏢 Trulioo 📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details

Heavy Duty Mechanic

🏢 Heidelberg Materials 📍 Vancouver, British Columbia, Canada
Full time Vehicle-and-Mobile-Equipment-Mechanics,-Installers,-and-Repairers
View Opening Details

Applied Scientist II, Automated Profitability

🏢 Amazon 📍 Vancouver, British Columbia, Canada
Full-time other-general
View Opening Details

Business Process Improvement Specialist

🏢 Burnaby 📍 Burnaby, Metro Vancouver Regional District, Canada
Full-time Other-General
View Opening Details