Logic List Mailing Archive

Lectureship in logical & semantic foundations of computing, Sheffield (England)

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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam