[TYPES/announce] Post-Doctoral and Researcher Positions at Yale University

Zhong Shao shao at cs.yale.edu
Mon Apr 16 17:01:44 EDT 2012

The FLINT group at Yale University (http://flint.cs.yale.edu) is
seeking applicants for post-doctoral and researcher positions in the
broad area of programming languages and formal methods. The successful
applicants will be expected to participate in a rigorous research
program on topics such as certified programming, proof assistants and
automation, certified OS kernels and compilers, and formal semantics.

Applicants must have a Ph.D. in Computer Science or a closely related
field. The term of the postdoc position is one year with an option to
renew for up to three years; the term of the researcher position (as
an associate research scientist) is similar but can be extended
further based on the availablity of funding. Starting date is

Interested applicants should email a CV, research statement, and the
names of three references with their email addresses to Zhong Shao
(Email: zhong.shao at yale.edu).

Professor Zhong Shao
Department of Computer Science
Yale University
P.O. Box 208285
New Haven, CT 06520-8285, USA
Phone: +1 (203) 432 6828 
Email: zhong.shao at yale.edu

More information about the Types-announce mailing list