2025 Internship at Meta FAIR on AI4Math

Stream: job postings

[Kaiyu Yang]

I’m looking for a PhD student intern to work with me in Meta FAIR’s New York City office. The internship can start in spring or summer 2025 and last for 12-24 weeks (longer preferred). Candidates must be enrolled in a PhD program and ideally would have demonstrated experience at the intersection of machine learning and formal mathematics, e.g., neural theorem proving, autoformalization, conjecturing. Please apply at https://www.metacareers.com/jobs/532549086023158/ and email me!