[isabelle] joint postdoc at Carnegie Mellon


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,


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.