Remote Lean 4 Researcher for Formal Proofs

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