[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] FW: lectureship in formal modelling and analysis at Glasgow



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:
http://www.jobs.ac.uk/jobs/SN700/Lecturer/

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  
http://www.dcs.gla.ac.uk/~simon