[Job-offers-cs] Lecturer and Senior Lecturer positions in Computer Science at University of Birmingham

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Lecturer and Senior Lecturer positions in Computer 
Science at University of Birmingham
Date: Wed, 24 Mar 2021 22:01:26 +0000
From: Rajesh Chitnis <rajeshchitnis at gmail.com>
To: dmanet at zpr.uni-koeln.de

The School of Computer Science, University of Birmingham, UK is looking 
to recruit Lecturers and Senior Lecturers (corresponding to Assistant 
and Associate Professors respectively - 
https://en.wikipedia.org/wiki/Senior_lecturer).

The official advert is here:
https://bham.taleo.net/careersection/external/jobdetail.ftl?job=210000DX&tz=GMT%2B00%3A00&tzname=Europe%2FLondon


In particular, applicants with interests close to our Theory Group 
(https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx) 
are very welcome. The interests of this group include, among other 
things, higher category theory, homotopy type theory, constructive 
mathematics, string diagrams and graphical calculi, proof assistants, 
topology and domain theory, game semantics, quantum computation, 
programming languages, verification and model checking, algorithms and 
complexity.

Feel free to approach me or other members of the theory group for 
further information. The application deadline is 21st April.

- Rajesh Chitnis