Research Associate Position

Research position in programming language theory

We are looking for a postdoctoral research associate to join a
research group with interests in optimal evaluation and interaction
nets, where the group has related theoretical and applied projects
underway.  The position is intended to be a theory-oriented one; the
research profile of the applicant should include an interest in lambda
calculus, continuations, symmetric lambda calculus, linear logic,
proof nets, game semantics, full abstraction, optimal evaluation,
context semantics, geometry of interaction, and that kind of stuff,
not necessarily in that order.

The position is available for up to two years.  The candidate will
join a research group which has a complementary software and
implementation component, devoted to pragmatics and implementation of
some of the above theory technology.

If you are interested, please contact me by email for further details.

Harry Mairson (email: mairson@cs.brandeis.edu)
              (WWW: http://www.cs.brandeis.edu/~mairson)