Carnegie Mellon University is hiring:
https://tenuretracker.info/l/IhL5qBMK/post-doc-icarm?utm_source=bluesky
#postdoc
---
Extract: The Institute for Computer-Aided Reasoning in Mathematics at Carnegie Mellon University invites applications for a one-year postdoctoral fellowship starting August 2026, focusing on technologies for mathematical research.