[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
http://www.cs.uchicago.edu/positions/req-01814
and general information about our available positions can be found at
http://www.cs.uchicago.edu/info/positions
The application deadline is January 15, 2014, but applications will be
considered until all positions are filled.
- John
