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... Application deadline: 2013-09-01 -- /NAD