Email Gateway (Oct 08 2021 at 13:42): Email Gateway (Oct 08 2021 at 13:42):From: Jeremy Avigad <avigad@cmu.edu>
Friends,
We are seeking to fill a joint postdoctoral position between the Department
of Mathematical Sciences and the new Hoskinson Center at Carnegie Mellon,
starting in Fall 2022. More information can be found here:
https://apply.interfolio.com/96032.
The position is designed to allow promising young mathematicians to develop
their careers while also exploring the use of formal methods (based on
Lean) in their teaching and research.
Please share this with anyone you know who may be interested.
Best wishes,
Jeremy
Last updated: Jan 04 2025 at 20:18 UTC