Remote Researcher: Lean 4 & Formal Proofs for AI

Alignerr is seeking a Remote Researcher specializing in Lean 4 and Formal Proof Systems. The role involves translating informal mathematical proofs into machine-verifiable Lean 4 proofs, analyzing mathematical structures, and collaborating with researchers on verification strategies.

The ideal candidate will hold a Master’s degree in Mathematics or a related field, have strong proof writing skills, and experience with Lean 4. Join us to work on cutting-edge AI challenges in a fully flexible environment.

#J-18808-Ljbffr…