The Coq mailing list

[Nils Anders Danielsson <nad AT cse.gu.se>]

Hi,

We have openings for two PhD students in dependent type theory and
functional programming at Chalmers. Here is an excerpt from the ad:

  "The PhD students will join the Programming Logic group and contribute
  to its research on dependent type theory and functional programming.
  The Programming Logic Group has done pioneering work in the general
  area of type theory and its applications, including implementation of
  proof assistants, dependently typed programming, metatheoretical
  investigations of logical system, and formalisation of mathematics.

  Current topics of interest include:

  - Design of dependently typed functional programming languages.

  - Theory and implementation of type checkers, compilers etc. for
    dependently typed functional programming languages.

  - Investigations into the use of dependently typed functional
    programming languages, both as programming languages and as logical
    systems.

  - Univalent foundations of mathematics.

  - Models of type theory."

Full text of the advertisement:

  
http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpage=job&rmjob=1457

--
/NAD