A leading AI company is looking for an Applied Formal Methods Researcher to transform informal mathematical proofs into machine-verifiable formalizations using Lean. The ideal candidate will possess a Master''s degree in Mathematics and have a strong grasp of proof writing and verification techniques. This role offers competitive pay, flexibility, and the chance to work on advanced AI projects while collaborating with a team at the forefront of mechanized mathematics.#J-18808-Ljbffr
Job Title
Lean 4 Formal Methods Researcher (Remote Contract)