Open roleExternal
Remote Lean 4 Proof Engineer for AI-Ready Math
- glasgow, scotland, United Kingdom
- Contract
- Full time
- Remote
- £14 - £55 Per Hour
Job Description
Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematical reasoning into machine-verifiable Lean 4 code. This role sits at the frontier of formal verification and AI, demanding precision, structure, and an instinct for rigorous argumentation.
You'll work remotely on an hourly contract, with 10–40 hours per week, collaborating with AI researchers to push the limits of proof assistants and develop reusable, readable formalizations.
#J-18808-Ljbffr