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

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X