Lecturer in Verification at University of Sheffield (apply by January 3, 2022)

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

Lecturer in Verification at University of Sheffield (apply by January 3, 2022)

Postdoc position in Computer Science Logic at University of Sheffield (apply by January 3, 2022)

I’m looking for a Postdoc for my project related to logical foundations of probabilistic data, complexity theory utilising real numbers, and logical approach to quantum information theory. Candidates with expertise in finite model theory, logic in computer science, or foundations of quantum information theory are in particular encouraged to apply.

Website: https://www.jobs.ac.uk/job/CLB973/research-associate-in-computer-science-logic
Email: j.t.virtema@sheffield.ac.uk

Postdoc position in Computer Science Logic at University of Sheffield (apply by January 3, 2022)

PhD position in Logical Approach to Verification of Hyperproperties at University of Sheffield (apply by January 31, 2022)

I am looking for a motivated PhD student to join the Verification group of The University of Sheffield. The topic of the PhD project is quite flexible, but should relate to logical theory of verification.

The Studentship will cover tuition fees at the UK rate and provide a tax-free stipend at the standard UKRC rate for three and a half years.

Website: https://www.jobs.ac.uk/job/CLH126/phd-studentship-logical-approach-to-verification-of-hyperproperties
Email: j.t.virtema@sheffield.ac.uk

PhD position in Logical Approach to Verification of Hyperproperties at University of Sheffield (apply by January 31, 2022)

Postdoc at Foundations of Data Science Institute (apply by December 15, 2021)

The Foundations of Data Science Institute (FODSI), funded by the National Science Foundation TRIPODS program, is announcing a competitive postdoctoral fellowship. Multiple positions are available. FODSI is a collaboration between UC Berkeley and MIT, partnering with Boston University, Northeastern University, Harvard University, Howard University and Bryn Mawr College.

Website: https://academicjobsonline.org/ajo/jobs/20132
Email: see the above url

Postdoc at Foundations of Data Science Institute (apply by December 15, 2021)