Company: Alignerr Corp.
Location: Birmingham
Job Description:
Alignerr seeks researchers to translate advanced mathematical proofs into Lean 4 formalizations, pushing the boundaries of automated reasoning. You will work remotely on 10–40 hours per week, translating dense arguments into machine-verifiable proofs and collaborating with AI researchers to improve verification pipelines.
Ideal candidates hold a Master’s or higher in mathematics or related fields, with strong proof-writing skills and experience in Lean, Coq, Isabelle/HOL, or Agda.
#J-18808-Ljbffr…
Posted: October 24th, 2026