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

The CS department at the University of Copenhagen invites applications for a tenure-track assistant or associate professorship in computational complexity. The application deadline is October 2, 2022. See http://www.jakobnordstrom.se/openings/AsstAssocProf-UCPH-221002.html for more information and instructions how to apply. Informal enquiries are welcome and may be sent to jn@di.ku.dk.

Website: http://www.jakobnordstrom.se/openings/AsstAssocProf-UCPH-221002.html
Email: jn@di.ku.dk