Remote Lean 4 Researcher - Formal Proof Systems

Alignerr is seeking a Researcher to focus on Lean 4 and formal proof systems. This fully remote role focuses on translating complex mathematical arguments into machine-checkable proofs that advance AI research. Ideal candidates will possess a strong mathematical background, hands-on experience with Lean (particularly Lean 4), and a passion for formal verification.

Join us to contribute directly to pioneering AI understanding and verification in mathematics, enjoying the benefits of flexible work and intellectual challenge. #J-18808-Ljbffr