PhD Studentship: Localised Cryptography
Mathematics and Statistics,Mathematics,Computer Science,Computer Science
Short info about job
Company: University of Bristol
Department: Computer Science
Hours: Full Time
Type / Role: PhD
Phone: +44-1568 3494720
Fax: +44-1528 3113220
Detail information about job PhD Studentship: Localised Cryptography. Terms and conditions vacancy
Duration 3.5 years
Starting date 1 October 2017
The project: Cryptography underpins much of the security of computing and communication infrastructures on which modern society increasingly relies. Yet, ensuring that systems that rely on cryptography meet their desired goals is notoriously difficult. There is ample space for errors, ranging from the overall design of the system down to the concrete implementation and the underlying computational platforms on which it is deployed. To reduce the risk of designing and subsequently deploying insecure applications, modern security research advocates the use of mathematical models. The idea is to provide mathematical formalizations for what is a system, what constitutes a successful breach against it, and then prove that such breaches are not possible.
The project aims to develop a framework that consists of a tool that will provide support for cryptographers both in designing and verifying cryptographic proofs. The key features that will distinguish our approach from other existing ones is that we aim to keep the language for specifying and reasoning about systems as close as possible to the typical language that cryptographers use in their proofs nowadays, will develop a simplified methods for reasoning about systems at more abstract levels than usual.
The successful applicant will be based in a vibrant research group, with more than 17 PhD students and 6 postdoctoral researchers working in a variety of topics related to cryptography.
How to apply: Please make an online application for this project at http://www.bris.ac.uk/pg-howtoapply. Please select on the Programme Choice page and enter details of the studentship when prompted in the Funding and Research Details sections of the form together with the name of the supervisor, Dr Bogdan Warinschi.
Candidate requirements: Open to UK Nationals only.
A minimum 2.1 honours degree or equivalent in Computer Science or Mathematics.
Basic skills and knowledge required: The ideal candidate will have a background in programming language semantics, complexity theory, or cryptography.
Funding: Provided by HM Government, the scholarship covers full UK PhD tuition fees and a tax-free stipend of approximately £22,000 p.a. (subject to confirmation)
Contacts: Dr Bogdan Warinschi ([email protected])