[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Postdoctoral Research Position at Yale University

The Nettle Project in the Computer Science Department at Yale
University seeks applicants for a one-year (minimum) postdoctoral
research position.  The successful candidate will apply modern,
high-level programming language ideas (such as embodied in Haskell) to
help design and implement a language for the control of BGP-based
network routers, with the goal of realizing high-level networking
protocols for traffic engineering, security, and related networking
concerns.  The ideal candidate will have strength both in programming
language concepts and implementation techniques, as well as networking
fundamentals.  A PhD in computer science or related field is required.

Yale is an affirmative action, equal opportunity employer.  Interested
candidates should send their CV or resume to Professor Paul Hudak
at paul.hu...@yale.edu.

Reply via email to