[Prev][Next][Index][Thread]
Research position at Edinburgh
Date: Thu, 28 Mar 91 15:20:53 GMT
RESEARCH FELLOWSHIP
at the
LABORATORY for FOUNDATIONS of COMPUTER SCIENCE (LFCS)
Department of Computer Science
UNIVERSITY of EDINBURGH
on LOGICAL and SEMANTICAL FRAMEWORKS
(UK SERC rolling grant)
Main investigators:
G. PLOTKIN and E. MOGGI
starting date: BEFORE JANUARY 1992
duration: 2 YEARS
salary: an appropriate point on the RA1A scale:
11,399 - 18,165 Pounds Sterling p.a.
to carry out research on PROGRAM LOGIC AND SEMANTICS with particular
emphasis on such topics as:
- partiality, recursive definitions and inductive principles;
- the monadic approach to denotational semantics and its extension to
program logics;
- a modular approach to programming language semantics and logics.
LFCS provides a very stimulating research environment. It is active, not
only in the area of logic and semantics, but also in most areas of
Theoretical Computer Science. It also has a strong interest in the
application of basic theory through the development of computer based
tools and systems and by conducting studies in the formal analysis of and
reasoning about computer systems.
EC funding should be available for collaboration with Cambridge (A. Pitts)
and Genova (E. Moggi) on the above research topics.
---------------------------------------------------------------------------
The ideal candidate should have:
- a Ph.D. in (Theoretical) Computer Science,
- expertise in Denotational Semantics and Program Logics,
- some knowledge of Category Theory and its applications
to Logic and Programming Language Semantics.
Applicants should send (by e-mail to George Cleland at
glc@lfcs.edinburgh.ac.uk)
- a cv, incuding publications and a statement of research interests
- a list of referees (prefereably with e-mail addresses)
FOR FURTHER INFORMATION CONTACT: gdp@lfcs.edinburgh.ac.uk or
em@lfcs.edinburgh.ac.uk