Post-Doctorate Research Position
Yale University
Department of Computer Science
The Programming Languages and Systems group in the Department of
Computer Science at Yale University is seeking applicants for a
Post-Doctoral Research Position. The successful applicant will be
expected to participate in a rigorous research program centered on
the following topics:
o Modular interpreters and compilers
o Typed intermediate languages and type-directed compilations
o Functional reactive animation and multimedia programming
o Systems programming in advanced type-safe languages
o Application of language theory to safe internet programming
Successful applicants must have a PhD in Computer Science or closely
related field, and experience with modern programming languages such
as ML, Haskell, and Java. The term of the position is 1 year with an
option to renew for an additional year. A starting date around September
1997 is expected; candidates should have completed all thesis requirements
by that time. A competitive salary will be offered, with actual salary
dependent on the applicant's qualifications and experience. Yale University
is an Equal Opportunity/Affirmative Action employer; qualified women and
minority candidates are encouraged to apply.
Interested applicants should send a resume, a one- to two- page research
statement, and three letters of recommendation to Prof. Paul Hudak
([EMAIL PROTECTED]) and Prof. Zhong Shao ([EMAIL PROTECTED]).
Electronic application is preferred, but if necessary, applications may
be sent to the address below.
Prof. Paul Hudak and Zhong Shao
Department of Computer Science
Yale University
P.O. Box 208285
New Haven, CT 06520-8285
