Remote Lean 4 Formal Proof ResearcherAlignerrExternalcambridge, england, United KingdomCompetitive salaryJob type not listedPosted 11 days agoView
Researcher - Lean 4 & Formal Proof SystemsAlignerrExternalcambridge, england, United KingdomCompetitive salaryContractPosted 11 days agoView
Remote Lean 4 Proof Engineer — AI FormalizationAlignerrExternalcambridge, england, United Kingdom£172,640 to £287,040 / yrContractPosted 4 days agoView
Lean 4 Formal Proofs Researcher — RemoteAlignerrExternaloxford, england, United KingdomCompetitive salaryJob type not listedPosted 7 days agoView
Remote Researcher: Lean 4 & Formal ProofsAlignerrExternalglasgow, scotland, United KingdomCompetitive salaryContractPosted 10 days agoView
Remote Lean 4 Proof Engineer for AI-Ready MathAlignerrExternalglasgow, scotland, United Kingdom£29,120 to £114,400 / yrContractPosted 10 days agoView
CPU Formal Verification EngineerAMDExternalcambridge, england, United Kingdom£145,600 to £208,000 / yrJob type not listedPosted 21 days agoView
CPU Formal Verification EngineerAdvanced Micro DevicesExternalcambridge, england, United Kingdom£187,200 to £249,600 / yrJob type not listedPosted 21 days agoView
Staff Formal Verification Engineer (GPU)AMDExternalcambridge, england, United Kingdom£187,200 to £270,400 / yrJob type not listedPosted 10 days agoView
CPU Formal Verification LeadAMDExternalcambridge, england, United Kingdom£145,600 to £208,000 / yrJob type not listedPosted 21 days agoView
