[TYPES/announce] Postdoc Positions: Cornell and Princeton

David Walker dpw at cs.princeton.edu
Wed Mar 28 15:02:43 EDT 2012

We invite applications for postdoctoral researchers at Cornell and
Princeton in the areas of programming languages and networks. The
positions are part of the Frenetic project, which seeks to develop new
programming language abstractions for controlling, managing, and
securing networks (see the abstract below or visit

Applicants should hold a PhD in Computer Science and have expertise in
either programming languages or networks, a desire to work in an
interdisciplinary team, strong implementation and communications
skills, and an interest in learning new ideas outside their primary
area of research. Successful candidates will be provided with
opportunities for professional development and for exploring ideas
that expand the scope of the project. The positions are for one year
initially but may be extended to additional years.

To apply, please send a CV, research statement, and the names of two
references to Nate Foster (jnfoster at cs.cornell.edu) and David Walker
(dpw at cs.princeton.edu). We especially welcome applications from women
and members of under-represented minority groups.

Nate Foster (Cornell)
Jennifer Rexford (Princeton)
Emin Gun Sirer (Cornell)
David Walker (Princeton)

High-Level Language Support for Trustworthy Networks

Computer networks are some of our most critical infrastructure, but
today's networks are unreliable and insecure. Network devices run
complicated programs written in obtuse, low-level programming
languages, which makes managing networks a difficult and error-prone
task. Simple mistakes can have disastrous consequences, including
making the network vulnerable to denial-of-service attacks,
hijackings, and outages. The goal of the Frenetic project is to
transform the way that networks are built and used by developing new
languages with the following essential features: (i) network-wide,
correct-by-construction programming abstractions; (ii) support for
fault-tolerance and scalability; (iii) mechanisms for coordinating
with end-hosts and establishing trust; (iv) verification tools based
on rigorous semantic foundations; and (v) compilers capable of
generating efficient code for heterogeneous devices.

More information about the Types-announce mailing list