Alignerr is looking for a Mathematical Formalization Specialist to work remotely on translating informal mathematical proofs into Lean. The role emphasizes clarity, structure, and correctness alongside collaboration with leading AI research labs.
The ideal candidate will hold a Master’s or higher in Mathematics, Logic, or related fields, and must have strong experience with proof writing and formal verification systems like Lean, Coq, or Isabelle/HOL.
#J-18808-Ljbffr
