Universiteit van Amsterdam

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 , or Jeremy Avigad at .