Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical proofs into machine-verifiable Lean proofs. This fully remote role involves working on complex research-grade problems that merge mathematics and AI. Candidates should have a Master's degree or higher in Mathematics or related fields, with strong skills in rigorous proof writing and experience with proof assistants like Lean 4 or Coq. Flexible hours (10–40/week) and collaborative opportunities with AI research teams are notable benefits.
#J-18808-Ljbffr