Job Description
We are sharing a specialised part-time consulting opportunity for formal-methods professionals with hands-on expertise in Lean 4, interactive theorem proving, mathematical formalisation, program verification, and proof evaluation.
This role supports an advanced AI research initiative focused on strengthening expert-level reasoning in frontier models. Selected professionals will develop challenging formal-verification and theorem-proving problems, review peer-authored tasks, and evaluate AI-generated proofs, tactics, and formalised mathematics for correctness, completeness, and technical rigour.
Key Responsibilities
Formal Methods Problem Development
- Design expert-level problems involving theorem proving, program verification, and mathematical formalisation
- Create tasks requiring precise logical reasoning and valid machine-checkable proofs
- Develop clear problem statements, assumptions,...