coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Enrico Tassi <Enrico.Tassi AT inria.fr>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] postdoc position at CMU
- Date: Fri, 08 Oct 2021 10:22:04 +0200
- Ironport-hdrordr: A9a23:LF5rFKE6Ll8QkFaEpLqE+MeALOsnbusQ8zAXPo5KKSC9E/bo9fxG885w6faZslgssVAb9uxofZPtfZq+z+8X3WB5B97LYOG901HCEGgI1+bfKlPbehHDyg==
On behalf of Jeremy Avigad
> We are seeking to fill a joint postdoctoral position between the
> Department of Mathematical Sciences and the new Hoskinson Center at
> Carnegie Mellon: 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.
Best regards,
--
Enrico Tassi
- [Coq-Club] postdoc position at CMU, Enrico Tassi, 10/08/2021
Archive powered by MHonArc 2.6.19+.