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.
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.
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.
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.
Email: see the above url