The Coq mailing list

[zhong.shao AT yale.edu]

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 negotiable.

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