News and Events: Open Positions

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

Please note that this newsitem has been archived, and may contain outdated information or links.