Remote Lean 4 Formal Methods Researcher

Alignerr is seeking Applied Formal Methods Researchers for a fully remote position. This flexible contract role involves translating mathematical proofs into formalizations in Lean 4, impacting AI reasoning. Ideal candidates hold a Master's in Mathematics or a related field and have strong proof writing skills, with experience in formal systems like Lean.

You will work on cutting-edge AI projects, enhancing formal verification and contributing to the future of mathematical reasoning.