[ 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 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.