Remote Researcher: Lean 4 & Formal Proofs
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 remote research organization is seeking a Researcher specializing in Lean 4 and formal proof systems. The role requires translating sophisticated mathematical proofs into machine-verifiable formats, with responsibilities including analyzing proofs, structuring formalizations, and collaborating on verification projects. Ideal candidates hold a Master's in Mathematics or related fields, possess a strong foundation in proof writing, and have experience with Lean or comparable formal systems. This freelance role offers flexible hours and opportunities for contract extension.#J-18808-Ljbffr