Research position in programming languages and logic

Research position in programming languages and logic

We are looking for a postdoctoral research associate to join a
research group focussing on optimal evaluation and interaction nets,
where the group has related theoretical and applied interests.  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 that also has a substantial 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)