[Job-offers-cs] Lecturer position in Verification, Sheffield (UK), Deadline: 3 Jan 2022

[Pekka Orponen]

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

Subject: 	[DMANET] Lecturer position in Verification, Sheffield (UK), 
Deadline: 3 Jan 2022
Date: 	Thu, 9 Dec 2021 13:34:07 +0000
From: 	Jonni T Virtema <j.t.virtema at sheffield.ac.uk>
To: 	dmanet at zpr.uni-koeln.de



The University of Sheffield is seeking candidates with an outstanding 
record of scholarship in the logical and semantic foundations of 
computing, and in particular 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 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.

Details: https://www.jobs.ac.uk/job/CLF125/lecturer-in-verification>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://list.aalto.fi/pipermail/job-offers-cs/attachments/20211221/00ddf79d/attachment-0001.htm