[TYPES/announce] Postdoc opening in Programming Languages at Indiana University

[Jeremy Siek]

I invite applications for a postdoc position in the Programming
Languages Group at Indiana University. The position is to conduct
research in gradual typing, domain-specific languages, or programming
language metatheory and to train towards a faculty position in
academia by learning to advise students and write grant proposals.

The ideal candidate has a Ph.D. in Computer Science and is highly
skilled at designing programming languages, implementing interpreters
and compilers, proving theorems, and writing about all of the above.

The position is for two years. The preferred starting date is August
1, 2013, but other dates are possible. The salary is commensurate with
experience. Applications from under-represented groups are
particularly welcome.

Indiana University is located in Bloomington, in the rolling, forested
hills of southern Indiana. The Programming Languages Group at Indiana
has a long tradition of excellence, has recently grown to five
faculty members, and has a vibrant group of graduate students.

To apply, please send a CV, research statement, and the names of three
people who can be asked for letters of reference to Jeremy Siek
(jeremy.siek at gmail.com).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130507/14a45356/attachment.html>