Remote Researcher – Lean 4 & Formal Proofs

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…