Remote Lean 4 Formal Proof Architect for AI
ARCHIVED
We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.
Alignerr is seeking a mathematician with hands-on formal verification experience to translate complex human arguments into Lean 4 proofs. This role offers the flexibility of a fully remote contract, allowing for 10–40 hours per week. Candidates should hold a Master's degree or higher in Mathematics or related fields and have deep experience in rigorous proof construction. Join cutting-edge AI projects while enjoying freelance autonomy and the potential for ongoing work.#J-18808-Ljbffr