Postdoc at Penn

Applications are invited for a two-year postdoctoral fellowship in the
Logic and Computation group at the University of Pennsylvania.  The
position is connected to the project "The Essence of Objects"
(http://www.cis.upenn.edu/~bcpierce/eo.html) and offers opportunities
for both collaborative and individual research.

Applicants should have strong background in at least two of the
following areas:   
    - type systems 
    - programming language design and implementation
    - process calculi and theory of concurrency
    - distributed and/or mobile systems
The ideal candidate will have a lively interest in both system
building and theory.  The appointment is for two years, beginning in
the Fall of 1999.  

The Logic and Computation group (http://www.cis.upenn.edu/~lc) is an
interdisciplinary research group composed of faculty and graduate
students from the Departments of Computer and Information Science,
Mathematics, and Philosophy.  It is closely connected with the
Institute for Research on Cognitive Science
(http://www.cis.upenn.edu/~ircs), a larger consortium of researchers
in the common pursuit of an understanding of the human mind and the
development of new technology arising from this understanding.

Informal inquiries about the position may be addressed to
bcpierce@cis.upenn.edu.  Formal applications should be filed
electronically by visiting  
You will be asked to provide the following information:
    - biographical data and current coordinates
    - names and addresses of three or more referees (please ask your 
      referees to mail their letters to ircs-search@linc.cis.upenn.edu
      as soon as possible -- there is no need to wait for a request from
    - a CV (in a separate email message), including an outline of your
      research interests and your remarks on how you would benefit by
      working in our interdisciplinary environment.  
To be guaranteed full consideration, applications should be received
by February 1, 1998.  (The application web page may say January 15;
this has been extended.) 

The University of Pennsylvania is located near downtown Philadelphia,
a historic city with world-class cultural attractions, fabulous
restaurants, etc.  Philadelphia's international airport offers direct
flights to many major cities in Europe and the US.  The "eastern
corridor" train system gives easy access to New York and Washington


        Benjamin Pierce