[TYPES/announce] Lectureship in Formal Methods and Cyber Security in Manchester, UK

[Giles Reger]

[Apologies if you receive this email multiple times. Please forward to people you think may be interested]

The University of Manchester (UK) is the largest single-site university in the UK, with the biggest student community. We are ranked 35th in the world, seventh in Europe and fifth in the UK in the 2016 Shanghai Jiao Tong World Ranking. The research strength of the School of Computer Science is reflected in consistently strong returns in UK research assessment exercises (5* in RAE 2000, 2nd in Research Power in RAE 2008, 4th in overall GPA in REF 2014 and ranked equal 1st for research environment).

As part of a major ongoing investment, the school wishes to appoint a Lecturer in Program Analysis and Cyber Security - with broader applications of Formal Methods for Cyber Security welcomed.

[For non-UK readers: the position of Lecturer corresponds to Assistant Professor, but note that this is a tenured position]

Applicants should be computer scientists with a strong interest and track record in a relevant area of Formal Methods, for example model checking, abstract interpretation, symbolic computation, program synthesis, static and dynamic analysis, deductive verification, formal approaches to software engineering and testing, interactive theorem proving, logic, specification languages, type theory, model learning etc. with applications in Cyber Security, for example, code and data integrity, malware analysis, intrusion detection, integrity, trustworthiness, or privacy and anonymity.

Please see attached details and the following link to apply (closing date is 11th June):

https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=15312

For any questions please contact Dr Giles Reger (giles.reger at manchester.ac.uk<mailto:giles.reger at manchester.ac.uk>)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180518/75c5368d/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Lectureship.pdf
Type: application/pdf
Size: 126334 bytes
Desc: Lectureship.pdf
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180518/75c5368d/attachment-0001.pdf>