Remote Lean 4 Proof Architect
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 specializing in formal verification to translate rigorous mathematical proofs into machine-verifiable Lean 4 proofs. This is a remote and flexible hourly contract role that requires expertise in proof writing and previous experience with Lean or similar proof systems. Ideal candidates will have a Master's degree in Mathematics or related fields and a passion for formal verification. Join a global team on cutting-edge AI projects that shape the future of mechanized mathematics.#J-18808-Ljbffr