Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Post-Doctoral Position at Yale University


view this post on Zulip 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: Mar 28 2024 at 16:17 UTC