AI for Math Fund Summer Fellowship [Europe and remote]

The AI for Math Summer Fellowship is a 10-week (June 15 - August 21, 2026) research program placing students within active projects supported by the AI for Math Fund. Seven fellows will be selected to work directly with leading research teams advancing artificial intelligence for mathematics, including work on automated theorem proving, proof assistants, formal verification, mathematical datasets, and open-source research infrastructure.

Fellows will receive a $20,000–$30,000 stipend, depending on geography, experience, and project scope. Renaissance Philanthropy will cover travel costs if necessary for fellows who need to temporarily relocate for the placement.