joint maths/CS position at Vanderbilt

Stream: job postings

[Kim Morrison]

A friend asked me to pass on that the Vanderbilt maths department is hiring, and has a joint position with CS being advertised where someone working in formalization might be interesting.

https://www.mathjobs.org/jobs/Vanderbilt

[Taylor Johnson]

I'm on the search committee from the CS side: We're definitely interested in Lean and especially AI+math! I had come here to post the job ad myself and happened across this post already, thanks for sharing it! Please feel free to reach out with informal inquiries as well.

This is the direct link: https://www.mathjobs.org/jobs/list/26899