Remote Lean 4 Proof Engineer — Formalization for AI
Alignerr Corp. · Cambridge, England ·
Apply on partner site
You apply on the advertiser's own site — nothing is stored here.
Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into machine-checkable formalizations. The role emphasizes rigorous proof construction, leveraging Lean 4 and related proof systems.
Remote contract, 10–40 hours per week, with collaboration across researchers to advance AI-driven formal verification workflows. You will develop readable proof scripts, identify gaps in existing libraries, and help extend formalization capabilities for complex mathematical
Apply on partner site
Listing supplied by one of our partner job boards. Last confirmed: 1 hour ago.
Market data from EasyWorkClub, not from the employer
More openings at Alignerr Corp.
19 other openings we list
- AI Security Analyst · London
- Back End Developer (AI Infrastructure) · London
- Voice Actor - UK English · London
- Remote AI Security Analyst — Red Team & Adversarial Testing · London
- Oncology Clinical Researcher · Glasgow
More jobs with this title
Lean 4 Proof Engineer - Mathematical Formalization
Alignerr Corp. · 1 week ago
Researcher - Lean 4 & Formal Proof Systems
Alignerr Corp. · 1 week ago
Research Engineer: AI Verification & Zero-Knowledge Proofs
Singapore AI Safety Hub · 1 week ago
AI Engineer - Remote
Owlis Technology Limited · 2 days ago
AI Engineer - Remote
Owlis Technology Limited · 1 week ago
Lean Theorem Prover Engineer: Verified Code Gen
Google · 1 week ago
AI Technical Manager — Build Proofs of Concept to Live Solutions
Grant Thornton UK · 1 week ago
Remote AI Data Engineer
Placements24 · 1 week ago