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

James Riely jriely at cs.depaul.edu
Thu Sep 15 10:53:06 EDT 2005

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

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

More information about the Types-list mailing list