Email Gateway (Aug 18 2022 at 17:40): Email Gateway (Aug 18 2022 at 17:40):From: Zhong Shao <shao@cs.yale.edu>
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
Last updated: Nov 21 2024 at 12:39 UTC