Please note that this newsitem has been archived, and may contain outdated information or links.
Fully funded PhD positions in logic, semantics of programs and verification at University of Sheffield, UK
Up to three fully funded research and teaching assistant positions with the opportunity of undertaking a PhD are available within the Verification Group, Department of Computer Science, at the University of Sheffield:https://www.sheffield.ac.uk/dcs/research/groups/verification
The verification group at Sheffield is growing rapidly. These posts provide excellent opportunities for graduate students (UK and overseas) to obtain a PhD in any active research area of the group, including semantics of concurrent and distributed systems, logics and complexity, algebraic and categorical approaches to program semantics, verification of multi-core programs and weak memory models, interactive theorem proving.
The posts are fully funded for 6 years with 60% devoted to research and 40% to teaching support..
For more detailed information (including roles and responsibilities), please see
https://www.jobs.ac.uk/job/CTM862/teaching-and-research-assistant-in-computer-science-3-posts
For details on possible supervisors and research projects, please contact our personal websites from our group webpage
https://www.sheffield.ac.uk/dcs/research/groups/verification
For informal enquiries, please do not hesitate to contact any group member by email.
Please note that this newsitem has been archived, and may contain outdated information or links.