Company: Alignerr Corp.
Location: London
Job Description:
Alignerr seeks a Researcher to translate dense mathematical proofs into Lean 4, strengthening machine-verifiable reasoning for AI training. You will analyze proofs, identify gaps, and develop formalizations with team collaboration across AI researchers.
Ideal candidates hold a strong math background, Lean experience (3 or 4), and a passion for formal verification and mechanized mathematics in an autonomous, freelance-capable setting.
#J-18808-Ljbffr…
Posted: October 11th, 2026