[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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


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


The closing date is 17 April.

Reply via email to