[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We invite applications for a postdoctoral research associate at Cornell
University. The position is part of the Pronto Project (prontoproject.org).
We are developing verified compilers for network devices.
Applicants should have a PhD in Computer Science, expertise in programming
languages design and implementation, strong communication skills, and a
desire to work as part of an interdisciplinary team. A background in
networking is not required. However, familiarity with formal semantics and
proof assistants is preferred.
The successful candidate will be provided with significant freedom to
explore ideas that expand the scope of the project as well as opportunities
for professional development. The position is for one year initially but
may be extended to additional years.
To apply, please send a CV, a research statement, one representative
publication, and the names of three references to Nate Foster (
[email protected]). We especially welcome applications from women and
members of under-represented minority groups.
