Thursday, August 31, 2017

[DMANET] Lectureship in Formal Analysis, Theory and Algorithms, University of Glasgow, School of Computing Science

University of Glasgow
College of Science and Engineering
School of Computing Science

Ref: 018557
Grade 7/8 Salary Range £33,943 - £38,183 / £41,709 - £48,327 per annum

The University of Glasgow seeks to appoint a Lecturer to pursue a world-class research programme in Computing Science within the topics of the Formal Analysis, Theory and Algorithms (FATA) section; to teach related topics in Computing Science at all undergraduate and postgraduate levels; and to carry out allocated administrative tasks.

The School of Computing Science is one of the UK's leading research departments and is expanding its academic staff across a range of areas. Its research is known for strong applications with significant impact, underpinned by rigorous foundations and methodologies. It has a record of successful intra-disciplinary collaboration across the School, and inter-disciplinary collaboration across and beyond the University.

The research topics covered by the Formal Analysis, Theory and Algorithms section include:

- algorithms and complexity;
- formal modelling and model-checking;
- programming language theory.

The School seeks applications from outstanding candidates to develop and lead research of international standard in these or related topics. Academic staff who establish successful research programmes have excellent prospects for career development and promotion.

Further information on the School of Computing Science can be found at:

For over 550 years, UofG has carried out world-changing research and boasts annual research grants and contracts income placing us within the top 10 UK universities. In REF2014, more than 80% of our research was assessed as being world-leading or internationally excellent, placing us 12th in the UK for research power.

Closing date: 29 September 2017. Interviews will be held on 3 November 2017.

Apply online at:

It is the University of Glasgow's mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment.

We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity.

The University of Glasgow, charity number SC004401

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.