[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