Lectureship, Edinburgh University

Lectureship, Edinburgh University, Division of Informatics

We seek to appoint a Lecturer to contribute either to our 
research in semantics of computation or to our research in 
automatic verification of finite and infinite state systems, 
both broadly construed. Possible areas of research interest 
in semantics include core formalisms for computation and 
programming language semantics, categorical and logical models, 
type theory as well as newer perspectives such as formalisms 
for global and mobile computation. Possible areas of research 
in  verification include automata theory, algorithms, computational 
logic, abstract interpretation, constraint programming and 
we especially  welcome applicants whose contribution has also 
been experimental, involving  case studies. 

The successful candidate will work in the Laboratory for 
Foundations of Computer Science (LFCS).

For application details see


The closing date is 31st August.

Alex Simpson, LFCS, Division of Informatics, University of Edinburgh
Email: Alex.Simpson@dcs.ed.ac.uk             Tel: +44 (0)131 650 5113
FTP: ftp.dcs.ed.ac.uk/pub/als                Fax: +44 (0)131 667 7209  
URL: http://www.dcs.ed.ac.uk/home/als