Remote Lean 4 Formal Verification Scientist (Contract)
Quick overview
Job description
Alignerr Corp. seeks a Formal Verification Scientist to translate dense mathematical arguments into machine-verifiable Lean 4 proofs. This fully remote, hourly contract role targets mathematicians who love rigorous proof construction and mechanized reasoning.
You will work on translating informal arguments into machine-verifiable formalizations, identify gaps, and push the limits of proof assistants while contributing to automating verification pipelines.
#J-18808-LjbffrSimilar jobs
- DE
Research Scientist, Provenance, DeepMindRecently posted
DeepMind · london · Hybrid · Posted 14 Nov 2026 🇬🇧
Machine LearningSalary not listed - UO
Director of the Photon Science InstituteRecently posted
University of Manchester · manchester · Hybrid · Posted 14 Nov 2026 🇬🇧
Succession PlanningTechnical SupportSalary not listed - HA
Principal Ecology ConsultantRecently posted
HASKONING · city of edinburgh · Hybrid · Posted 14 Nov 2026 🇬🇧
Business DevelopmentProject ManagementSalary not listed - CA
Technology Risk Leader, Domain GovernanceRecently posted
Capgemini · glasgow · Hybrid · Posted 14 Nov 2026 🇬🇧
Risk ManagementSalary not listed - AL
Principal Clinical ScientistRecently posted
Alignerr Corp. · city of edinburgh · Remote · Posted 14 Nov 2026 🇬🇧
ArticulateClinical ResearchMachine LearningSalary not listed - XS
Senior Quantum ScientistRecently posted
Xairos Systems, Inc. · cambridge · Hybrid · Posted 14 Nov 2026 🇬🇧
Stakeholder ManagementBusiness DevelopmentSalary not listed - AH
PICU Consultant — 24/7 Care, Research & InnovationRecently posted
Alder Hey Children's NHS Foundation Trust · liverpool · Hybrid · Posted 14 Nov 2026 🇬🇧
RecruitingSalary not listed - RS
Senior Laboratory Manager – Toxicology Growth & PerformanceRecently posted
ROYAL SOCIETY OF CHEMISTRY · United Kingdom · Remote · Posted 14 Nov 2026 🇬🇧
ComplianceSalary not listed - CR
Pricing & Market Access Sr. Associate, Life Sciences – HybridRecently posted
Charles River Associates · cambridge · Hybrid · Posted 14 Nov 2026 🇬🇧
Salary not listed - RH
Strategic Implementation Science DirectorRecently posted
RTI Health Solutions · manchester · Hybrid · Posted 14 Nov 2026 🇬🇧
Salary not listed - JM
VP of Experience Research & StrategyRecently posted
JP Morgan Chase Bank · United Kingdom · Hybrid · Posted 14 Nov 2026 🇬🇧
Salary not listed - JL
Head of Cognitive Performance ProgramsRecently posted
Jones Lang LaSalle Incorporated · city of westminster · Hybrid · Posted 14 Nov 2026 🇬🇧
Salary not listed
