Remote Lean 4 Proof Engineer: Mathematical Formalization

Alignerr is seeking a Lean 4 Proof Engineer with a strong mathematical background to shape AI reasoning and formalize advanced proofs. This fully remote role involves translating informal proofs into Lean 4, analyzing them across various domains, and collaborating with researchers on formal verification strategies.

The ideal candidate holds a Master’s degree or higher and has experience with proof assistants. Enjoy a flexible contract with impactful work at the frontier of mathematics and AI.

#J-18808-Ljbffr…