A cutting-edge AI research firm based remotely is looking for a Researcher specialized in Lean 4 and formal proof systems. Your role involves translating informal mathematical proofs into machine-verifiable forms and analyzing existing proof systems. Applicants should possess a Master’s degree in Mathematics or a related field and have experience with proof assistants like Lean. The position offers competitive pay and the flexibility of a remote work environment, making it ideal for mathematicians keen on formal verification.
#J-18808-Ljbffr