Please note that this newsitem has been archived, and may contain outdated information or links.
PhD student positions in homotopy type theory, Pittsburgh PA (U.S.A.)
Deadline: Tuesday 2 January 2018
The Pure and Applied Logic PhD program at CMU has positions open in the coming academic year 2018-19. The Homotopy Type Theory research group has positions open incoming PhD students interested in doing research in type theory, homotopy theory, (higher) category theory, and related areas. The department also has a research group focused on interactive theorem proving, formal verification, and formalization of mathematics, centered on the Lean Theorem Prover.
For more information, see
https://www.cmu.edu/dietrich/philosophy/graduate/phd/pure-and-applied-logic/
or contact Steve Awodey at awodey at cmu.edu, or Jeremy Avigad at avigad at cmu.edu.
Please note that this newsitem has been archived, and may contain outdated information or links.