[Job-offers-cs] Lecturer in Verification, University of Sheffield, UK (deadline: 30.09.2022)

[Pekka Orponen]

-------- Forwarded Message --------

Subject: 	[DMANET] Lecturer in Verification, University of Sheffield, UK 
(deadline: 30.09.2022)
Date: 	Tue, 20 Sep 2022 12:13:29 +0200
From: 	Jonni T Virtema via dmanet <dmanet at zpr.uni-koeln.de>
Reply-To: 	Jonni T Virtema <j.t.virtema at sheffield.ac.uk>
To: 	dmanet at zpr.uni-koeln.de



This is an exciting opportunity for a Lecturer in Verification at the 
University of Sheffield, a world top 100 University.

We are seeking candidates with an outstanding record of scholarship in 
the logical and mathematical foundations of computing, including 
hardware and software verification. You will work within the 
Verification Group, a well-established research group in the Department 
of Computer Science which currently hosts six members of staff and one 
Research Assistant.

Current research of the group ranges from the mathematical and logical 
foundations of computing to practical verification methods and tools to 
support these. Particular strengths of the group include the semantic, 
algebraic and categorical foundations of concurrent and distributed 
systems, computational logics, finite model theory and descriptive 
complexity, formal methods for hardware and software systems, 
verification of quantitative systems, verification of hybrid and cyber 
physical systems, verification of multi-core programs and weak memory 
models, as well as interactive and automated theorem proving. To expand 
and complement these strengths we encourage applications in any of the 
fields mentioned above, and beyond that broadly on foundational aspects 
of computer science.


More details: https://www.jobs.ac.uk/job/CTB680/lecturer-in-verification>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://list.aalto.fi/pipermail/job-offers-cs/attachments/20221002/29382143/attachment.htm