Remote Lean 4 Researcher for 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.
An innovative AI research company is seeking a Remote Researcher specialized in Lean and formal proof systems. The role involves translating informal mathematical proofs into precise, verifiable structures, requiring a Master's degree in Mathematics or a related field and hands-on experience with proof assistants like Lean. Candidates should have a strong foundation in rigorous proof writing and a passion for advancing formal verification methodologies. Competitive pay and flexible working conditions are offered.#J-18808-Ljbffr