Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] joint postdoc at Carnegie Mellon


view this post on Zulip 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: Jul 15 2022 at 23:21 UTC