Remote Lean 4 Proof Engineer for AI-Ready MathAlignerrExternalglasgow, scotland, United Kingdom£29,120 to £114,400 / yrContractPosted 11 days agoView
Remote Researcher: Lean 4 & Formal ProofsAlignerrExternalglasgow, scotland, United KingdomCompetitive salaryContractPosted 10 days agoView
Remote Lean 4 Proof Engineer — AI FormalizationAlignerrExternalcambridge, england, United Kingdom£172,640 to £287,040 / yrContractPosted 5 days agoView
Lean 4 Formal Proofs Researcher — RemoteAlignerrExternaloxford, england, United KingdomCompetitive salaryJob type not listedPosted 8 days agoView
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
CNC & Lean Manufacturing EngineerCeleros Flow TechnologyExternalglasgow, scotland, United Kingdom£93,600 to £124,800 / yrJob type not listedPosted 19 hours agoView
Ai Engineer Placement ProgrammeSponsored by CV-LibraryExternalGlasgow, Glasgow CityCompetitive salaryPermanentPosted 1 days agoView
Senior Backend Engineer for AI‑Driven Systems (Remote)Kodamai LimitedExternalglasgow, scotland, United KingdomCompetitive salaryContractPosted 22 days agoView
AI/ML Engineer — RLHF & Model Evaluation (Remote)ProlificExternalglasgow, scotland, United Kingdom£139,360 to £197,600 / yrJob type not listedPosted 22 days agoView