[TYPES/announce] Postdoc Position at Princeton

David Walker dpw at cs.princeton.edu
Fri Feb 15 20:43:55 EST 2013

We invite applications for postdoctoral researchers at Princeton
in the area of programming languages. The position is part of the 
Frenetic project (a collaboration between Princeton and Cornell), 
which seeks to develop new programming language technology for 
controlling, managing, verifying and securing networks (see 
the abstract below or visit http://frenetic-lang.org).

Applicants should hold a PhD in Computer Science and have expertise in
programming language design and semantics, 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. Some basic knowledge of networking is a plus but is
not necessary -- a willingness and an enthusiasm to learn is all that is
needed.  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 David Walker (dpw at cs.princeton.edu). Please also apply
formally here:


We especially welcome applications from women and members of under-represented 
minority groups.

David Walker 
Princeton University

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 through research on: 

(i) network-wide, correct-by-construction programming abstractions; 

(ii) support for fault-tolerance and scalability; 

(iii) mechanisms for managing end-hosts; 

(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