European Institute in the Logical Foundations of Computer Science
                     Fellowship Programme
         (Closing date for applications - 5th January 1994)

The European Institute in the Logical Foundations of Computer Science 
invites applications for PostDoctoral Fellowships. These can be held for 
periods ranging from six months to one year. The goal of the work in the 
Institute is to achieve a unified and applicable theory of the semantics 
and logic of languages used to describe, design and program computing 
systems. The research of the Insititute is characterised by a unified 
approach to foundational problems that emphasises the combination of ideas 
arising in design and practice with ideas originating in logic and allied 
mathematical areas. The applicability of the ideas developed is 
demonstrated by producing experimental systems for specification, 
verification and development. 

The research has both national and EC support, with involvement in several 
ESPRIT Basic Research Actions, including CONFER, CONCUR, COMPASS, 
Categorical Logic in Computer Science and Types for Proofs and Programs. 
Research Topics of Interest include: Semantics of Programming Languages; 
Logic Programming Theory; Object-Oriented Programming; Functional 
Programming Theory; Lambda-Calculus; Formal Development of Programs and 
Systems; Concurrency Theory. 

The Institute sites and contact points are: 

CWI, Amsterdam 
Jaco de Baaker <jaco@cwi.nl> (+31) 20 592 4136

The University of Cambridge;
Andrew Pitts <ap@cl.cam.ac.uk> (+44) 223 334621
The University of Edinburgh
Rod Burstall <rb@lfcs.ed.ac.uk> (+44) 31 650 5156

Imperial College, London
Samson Abramsky <sa@doc.ic.ac.uk> (+44) 71 589 5111 x5005

ENS and INRIA, Paris
Giuseppi Longo <longo@dmi.ens.fr> (+33) 14 432 3328

The University of Pisa.
Ugo Montanari <ugo@di.unipi.it> (+39) 50 510 221

INRIA, Sophia Antipolis; 
Gilles Kahn <gilles.kahn@sophia.inria.fr> (+33) 93 65 78 01

APPLICATIONS must be sent to the prospective host site. More general 
information on the Institute or the fellowship programme may be requested 
from Gordon Plotkin <gdp@lfcs.ed.ac.uk> (scientific information), or 
George Cleland <g.cleland@lfcs.ed.ac.uk> (administrative information)

The initial application should include:

1. Name, Address, e-mail,telephone & fax nos.

2. Academic Qualifications

3. Post-doctoral positions

4. Names, addresses, e-mail and phone numbers of at least two referees

5. Publications

6. A summary of research achievments to date

7. Proposed research programme (3-400 words, written in third person)

8. Expected outcomes of research (<200 words)

9. Reason for choice of host institution (<200 words)

Selection of candidates will be made on a number of factors, including 
quality of research proposed, the potential of the candidate, and the 
contribution of the proposed research to both the host site and the 

Those candidates selected will be required to work with the host site to 
produce a full fellowship document set which is required by the EC. This 
a non-trivial task for the candidate and will require the selected 
candidate to be available and in communication for the last two weeks of 

Prospective candidates are particularly asked to note the ELIGIBILITY 
CRITERIA for the fellowships. These conditions, imposed by the European 
Commission, are: 

i) The applicant must be a national of one of the Member States of the
European Community or EFTA, or be resident in the European Community.

ii) The applicant must be a national of a country other than that in which
the host institution is established and must not have carried out their
normal activity in that country for more than two years prior to the date
of submission of the application. (EC nationals presently resident in a
non-EC country are eligible providing the proposed fellowship is in a
country other than their country of origin.)

iii) Applicants must be young researchers, without other income, having at
least six years' higher education and who hold a doctoral or equivalent
degree, or, if not, have had two years' research experience following a
post-graduate course.