A leading AI research organization seeks a Researcher for a remote role focusing on formal proofs in Lean. Ideal candidates are mathematicians with advanced degrees and strong proof construction skills. Responsibilities include translating mathematical statements into verified formats, analyzing existing proofs, and collaborating on verification projects. This opportunity offers competitive pay, flexibility, and the chance to work on groundbreaking AI research with a dedicated team.
#J-18808-Ljbffr