<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffff" text="#000000">
<div class="moz-text-flowed" style="font-size: 16px;" lang="x-western">Postdoctoral
Research Position at Yale University
<br>
<br>
The Nettle Project in the Computer Science Department at Yale
<br>
University seeks applicants for a one-year (minimum) postdoctoral
<br>
research position.&nbsp; The successful candidate will apply modern,
<br>
high-level programming language ideas (such as embodied in Haskell) to
<br>
help design and implement a language for the control of BGP-based
<br>
network routers, with the goal of realizing high-level networking
<br>
protocols for traffic engineering, security, and related networking
<br>
concerns.&nbsp; The ideal candidate will have strength both in programming
<br>
language concepts and implementation techniques, as well as networking
<br>
fundamentals.&nbsp; A PhD in computer science or related field is required.
<br>
<br>
Yale is an affirmative action, equal opportunity employer.&nbsp; Interested
<br>
candidates should send their CV or resume to Professor Paul Hudak
<br>
at <a class="moz-txt-link-abbreviated"
 href="mailto:paul.hudak@yale.edu">paul.hudak@yale.edu</a>.
<br>
<br>
<br>
<br>
</div>
</body>
</html>