Postdoc Position in AI for Mathematics at Meta FAIR

Stream: job postings

[Kaiyu Yang]

We are seeking candidates for a postdoctoral position at Meta FAIR in the area of AI for mathematics. Potential research directions include neural theorem proving, autoformalization, learning mathematical rules and abstractions, and automated discovery/conjecturing in math.

The postdoc will have the flexibility to drive their own research agenda and collaborate with other researchers at FAIR, with the goal of conceptualizing, executing, and publishing impactful research projects in AI for mathematics. Candidates should have a strong research/publication record in a related area. Prior research in AI for mathematics is desired but not required.

If you are interested, please apply at https://www.metacareers.com/jobs/1459691901359421/ and send any inquiry to me at kaiyuy@meta.com (or you may ask here!). Please feel free to share this opportunity with anyone who may be interested. Thank you!

Location: Menlo Park, Seattle, Pittsburgh, NYC (preferred)