EUROFOCS 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) ALL APLICATIONS MUST BE RECEIVED BY THE HOST SITE BY 5TH JANUARY 1994 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 Institute. Salary and payment details vary from site to site and should be discussed with the host site. 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 January. 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. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++