[TYPES] Postdoc in Chicago - Joint Project between DePaul and Bell Labs

[James Riely]

Dear all,

We are pleased to announce a postdoctoral research associate position.  The
postdoc will work in the Temporal Aspects project.  The project, joint
between Bell Labs and DePaul University's Foundations of Programming
Languages group, investigates aspect-oriented programming techniques in the
general context of security.  More details on the project can be found at
http://www.teasp.org/.

The project is funded by the NSF, with money for a two year postdoc
appointment.  The position could be of interest to someone who has recently
completed a PhD in the general area of programming languages and/or
security.  Expertise in at least one of these areas is desirable.  Please
contact any of us for more information.

Radha Jagadeesan, rjagadeesan at cs.depaul.edu
James Riely, jriely at cs.depaul.edu
Alan Jeffery, ajeffrey at bell-labs.com
Glenn Bruns, grb at bell-labs.com