PhD Studentship: Localised Cryptography

All UK vacanciesPhDPhD 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

E-mail: N\A


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 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])

Responds for PhD Studentship: Localised Cryptography on FaceBook

Read all comments for PhD Studentship: Localised Cryptography. Leave a respond PhD Studentship: Localised Cryptography in social networks. PhD Studentship: Localised Cryptography on Facebook and Google+