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.

Website: https://www.jobs.ac.uk/job/CLF125/lecturer-in-verification
Email: g.j.brown@sheffield.ac.uk