[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