<div dir="ltr">We invite applications for a postdoctoral research associate at Cornell University. The position is part of the Pronto Project (<a href="http://prontoproject.org">prontoproject.org</a>). We are developing verified compilers for network devices.<br><br>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.<br><br><div>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.<br><br>To apply, please send a CV, a research statement, one representative publication, and the names of three references to Nate Foster (<a href="mailto:jnfoster@cs.cornell.edu">jnfoster@cs.cornell.edu</a>). We especially welcome applications from women and members of under-represented minority groups.</div></div>