Remote Lean 4 Formal Methods Researcher

Alignerr is seeking Applied Formal Methods Researchers to translate mathematical arguments into machine-verifiable proofs using Lean 4. The role offers flexibility, allowing you to work on cutting-edge AI projects remotely. Ideal candidates will have strong proof writing skills and experience with formal verification tools.

This position demands a Master's degree in a relevant field and offers the opportunity to contribute directly to advancing mechanized mathematics. Collaborate with experts and take on technically demanding work that can extend into future projects. #J-18808-Ljbffr