[TYPES/announce] Assistant Professor position at the University of Chicago

John Reppy jhr at cs.uchicago.edu
Mon Sep 30 13:03:52 EDT 2013

Our search in "systems" this year includes "formal definition, design,
and implementation of programming languages" (i.e., programming language
foundations). The posting can be found at


and general information about our available positions can be found at


The application deadline is January 15, 2014, but applications will be
considered until all positions are filled.

	- John

More information about the Types-announce mailing list