A leading AI research company is seeking a Researcher for Lean 4 and formal proof systems. The role involves translating informal mathematical arguments into machine-checkable proofs, analyzing domain-specific proofs, and collaborating with AI researchers. Ideal candidates hold a master's or higher in Mathematics or related fields, with extensive proof writing experience and familiarity with Lean 4. This position is fully remote and offers flexible hours, focusing on rigorous mathematical research.
#J-18808-Ljbffr