Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD Program in Pure and Applied Logic at Carnegie Mellon

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD Program in Pure and Applied Logic at Carnegie Mellon


Chronological Thread 
  • From: Jeremy Avigad <avigad AT cmu.edu>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] PhD Program in Pure and Applied Logic at Carnegie Mellon
  • Date: Tue, 21 Nov 2017 12:26:19 -0500
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=avigad AT cmu.edu; spf=None smtp.mailfrom=avigad AT andrew.cmu.edu; spf=None smtp.helo=postmaster AT mail-ot0-f172.google.com
  • Ironport-phdr: 9a23:VAMR2h3n8IDAOxwUsmDT+DRfVm0co7zxezQtwd8ZsesRK/ad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2vpv2aq4DUONhL6PAtzbqSpS8+Bx/iwguu14tjYZxhCrDu7e7J7ahus/ivLscxDo4Z4J6MggjLXo3RBd6wCzH1pKluftx35+4G98IM1oHcYgO4o68MVCfayRK8/V7ENUGUr

The Homotopy Type Theory research group at CMU Philosophy has positions open in the coming academic year 2018-19 for incoming PhD students interested in doing research in type theory, homotopy theory, (higher) category theory, and related areas.  For more information about our very active research group, see the info page here:

https://cmuhott.wordpress.com/

The department also has a research group focused on interactive theorem proving, formal verification, and formalization of mathematics, centered on the Lean Theorem Prover:

https://leanprover.github.io/

For information about the Pure and Applied Logic PhD program at CMU, see the info page here:

https://www.cmu.edu/dietrich/philosophy/graduate/phd/pure-and-applied-logic/index.html

Admitted students receive full tuition, a generous living stipend, health insurance, and other benefits.  Students are typically assigned limited teaching duties as graders or teaching assistants, or, when available, are supported by a research grant. Upon completion of the program, students receive the degree of PhD in Pure and Applied Logic.  For further information, please contact Steve Awodey (awodey AT cmu.edu) or Jeremy Avigad (avigad AT cmu.edu).

Deadline: January 2, 2018


  • [Coq-Club] PhD Program in Pure and Applied Logic at Carnegie Mellon, Jeremy Avigad, 11/21/2017

Archive powered by MHonArc 2.6.18.

Top of Page