Overview
A fully remote tech company seeks mathematicians and formal verification specialists to develop machine-verifiable formal proofs in Lean 4. The role offers the chance to shape AI reasoning by translating complex mathematical arguments into formal structures. The position is remote with flexible hours.
Responsibilities
* Develop machine-verifiable formal proofs in Lean 4.
* Translate complex mathematical arguments into formal structures suitable for verification and AI reasoning.
* Collaborate with researchers to advance formal verification and mathematical reasoning within AI systems.
Qualifications
* Master's degree (or equivalent) in a relevant field.
* Experience with formal proof systems, particularly Lean 4.
Additional Information
* Remote work with flexible hours; location is not restricted by geography (company-wide remote role).
#J-18808-Ljbffr