Remote Lean Formalization Specialist
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.
A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master's degree in Mathematics or a related field and a strong background in rigorous proof construction and verification. The position offers competitive compensation ranging from $50 to $150 per hour, making it ideal for mathematically-minded individuals passionate about formal verification.#J-18808-Ljbffr