We seek candidates with an outstanding record in the logical and mathematical foundations of computing, including hardware and software verification. You will work within the Verification Group, a well-established group in the Department of Computer Science. Our research range from the mathematical and logical foundations of computing to practical verification methods and tools to support these.

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