[Agda] Post-Doctoral Position at Yale University

[Zhong Shao]

The FLINT group at Yale University (http://flint.cs.yale.edu) is
seeking applicants for a post-doctoral position 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,
formal semantics, certified OS kernels and compilers, and
language-based security.

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