15 August: fyi -- lectureship, Edinburgh

Index of August 2001 | Index of year: 2001 | Full index

LECTURERSHIP IN SEMANTICS OR AUTOMATED VERIFICATION
Division of Informatics
University of Edinburgh
http://www.jobs.ed.ac.uk/jobs/index.cfm?action=jobdet&jobid=245

The Division of Informatics has a very strong tradition of research
in computer systems, theoretical computer science, cognitive
science, artificial intelligence, robotics and neural networks (see
http://www.informatics.ed.ac.uk for details). Working within the Laboratory
for Foundations of Computer Science, you will add to our existing
strengths in research and teaching, integrate your own research with
that of others and contribute to the development of Informatics at
Edinburgh.

Your research interest in the general area of Semantics of
Computation or in the application of automatic verification
techniques to check properties of software, would be highly
regarded.

This post is available for 5 years.

Index of August 2001 | Index of year: 2001 | Full index