Company: Alignerr Corp.
Location: Oxford
Job Description:
Alignerr is seeking a Researcher to advance Lean 4 and formal proof systems within AI training. You will translate complex mathematical arguments into precise Lean formalizations, push the boundaries of what proof assistants can express, and collaborate with AI researchers on verification pipelines.
This fully remote, hourly contract role offers flexible hours (10–40 per week) and the opportunity to contribute to cutting-edge mechanized mathematics while expanding your expertise in Lean 4, type
#J-18808-Ljbffr…
Posted: October 12th, 2026