Logic List Mailing Archive

Lecturer Position

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.