[Om-announce] FW: lectureship in formal modelling and analysis at Glasgow
alice at dcs.gla.ac.uk
Fri Apr 3 11:34:13 CEST 2009
Apologies for cross-posting -
**Please could you distribute to young researchers**
We are recruiting a lecturer in the area of formal modelling, theory and analysis, as part of the
The Scottish Informatics and Computer Science Alliance (SICSA) initiative.
The area includes theory and practice of formal modelling, automated analysis and reasoning, complex and concurrent systems, model checking or type theory.
You can find the advert here:
Closing date is 17 April.
Contact Muffy Calder, Alice Miller or Simon Gay for more information
http://www.dcs.gla.ac.uk/~muffy or http://www.dcs.gla.ac.uk/~alice or
More information about the Om-announce