THREE-YEAR AND TENURE-TRACK POSITIONS at TTIC (apply by December 1, 2022)

TTIC invites applications for the following faculty positions: research assistant professor (3-year term), tenure-track assistant professor, full or associate professor, and visiting professor. Applicants for research assistant professor positions (RAPs) are encouraged to simultaneously apply for the TTIC RAP program and the Simons-Berkeley Research Fellowship.

Website: https://www.ttic.edu/faculty-hiring/
Email: recruiting@ttic.edu

THREE-YEAR AND TENURE-TRACK POSITIONS at TTIC (apply by December 1, 2022)

Lecturer in Verification at University of Sheffield (apply by October 14, 2022)

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/CTU424/lecturer-in-verification
Email: g.j.brown@sheffield.ac.uk

Lecturer in Verification at University of Sheffield (apply by October 14, 2022)