Mathematics of AI post-doc at IBM

Stream: job postings

[Kevin Buzzard]

Someone on Twitter told me about the following industry post-doc opportunity for people with PhD's who know how to use Lean:

https://careers.ibm.com/job/12827015/postdoctoral-research-fellow-mathematics-of-ai-remote/

Twitter user Tyler R Josephson says "DM me if you'd like to learn more (but I'm not the one hiring)"

@XenaProject Industry postdoc opportunity @IBMResearch for PhD's who know #leanprover! I've worked with the Mathematics of AI team for a while, and this would be a great place to work. DM me if you'd like to learn more (but I'm not the one hiring). https://careers.ibm.com/job/12827015/postdoctoral-research-fellow-mathematics-of-ai-remote/?codes=IBM_CareerWebSite

- Tyler R. Josephson 藍泰來 (he/him) (@trjosephson)