There is a position beginning in September 1996 and possibly earlier, for a postdoctoral research associate with an interest in logic in computer science at Brandeis University.
The successful applicant will be a researcher with interests in programming language theory, including lambda calculus, optimal evaluation, linear logic, games semantics, type theory, constructive mathematics, continuations, and functional programming. Some programming aptitude and an interest in algorithmics would be a good thing.
Given that broad outline and general focus, the person would obviously have an open agenda to pursue whatever research topics he or she found interesting.
The term of this appointment would be for one year, with an extension for a following year contingent upon funding.
Candidates should contact Prof. Mairson by email, and include a vita with the email addresses of at least two references.
Harry Mairson
Associate Professor
Computer Science Department
Brandeis University
Waltham, Massachusetts 02254
email: mairson@cs.brandeis.edu
- WWW