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 ------------------------------------------------------------------------------ Achieve unprecedented app performance and reliability What every C/C++ and Fortran developer should know. Learn how Intel has extended the reach of its next-generation tools to help boost performance applications - inlcuding clusters. http://p.sf.net/sfu/intel-dev2devmay _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
