Remote Lean 4 Researcher: Formal Proof Systems for AI

Alignerr is looking for a Researcher in Lean 4 & Formal Proof Systems to translate informal mathematical proofs into formal, machine-verifiable Lean proofs. This remote role also entails analyzing proofs, developing strategies for verification, and collaborating with researchers. Candidates should hold a Master's degree or higher in a mathematical field and have experience with formal verification tools. Enjoy flexibility and autonomy while working at the forefront of AI research.#J-18808-Ljbffr