Tenure-track position at Carnegie Mellon

Stream: job postings

[Jeremy Avigad]

The Department of Mathematical Sciences at CMU is holding an open search for tenure-track faculty.

https://www.mathjobs.org/jobs/list/26882
https://apply.interfolio.com/172473

The ad specifies that "familiarity or expertise in formalization and computer-aided reasoning in mathematics is an added plus." I am not on the search committee but I would be happy to advocate for such candidates, so please let me know (by DM or email to avigad@cmu.edu) if you apply.