[TYPES/announce] Lectureship in formal modelling and analysis at University of Glasgow

Simon Gay simon at dcs.gla.ac.uk
Wed Mar 11 06:08:13 EDT 2009


As part of the Scottish Informatics and Computer Science Alliance 
(SICSA) initiative, there are three vacancies for lecturers in the 
Department of Computing Science, University of Glasgow, Scotland.

One of these vacancies is associated with the SICSA theme "formal 
modelling, theory and analysis", which includes theory and practice of 
formal modelling, automated analysis and reasoning, complex and 
concurrent systems, model checking and type theory.

The official advertisement for this position is at

http://www.jobs.ac.uk/jobs/SN700/Lecturer/

More information about SICSA and the associated departments can be found at

http://www.sicsa.ac.uk


The closing date is 17 April.




More information about the Types-announce mailing list