RESEARCH FELLOWSHIP available in the LABORATORY for FOUNDATIONS of COMPUTER SCIENCE (LFCS) Department of Computer Science UNIVERSITY of EDINBURGH on the project 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