International Association
for Cryptologic Research

Based in the Cryptography group within the Department of Computer Science, you will work on one of the the areas of cryptography detailed below.

Position 1

You will have a background in either lattice based cryptography or computational number theory. The project is to examine various aspects of lattices related to Fully Homomorphic Encryption schemes. We would be interested in applicants who can contribute on the mathematical analysis of the underlying hard lattice problems (either theoretically or experimentally), or in applicants who can contribute on the cryptographic side by developing new schemes and protocols.

Position 2

You will have a background in formal security protocol analysis. The project is to examine how "cryptographic proofs" can be automated by using techniques from formal methods, allied with tools and techniques from programming language theory. Experience with using a tool such a ProVerif, CryptoVerif, Isabelle, FDR would be an advantage, but not required. Applicants who are interested in applying these techniques to real world protocols are encouraged to apply.

Applicants with a strong theoretical or practical understanding in other aspects of modern cryptography are also encouraged to apply, if they feel they could contribute to the projects detailed above.

The posts are funded by an ERC Advanced Grant awarded to Professor Nigel Smart and you will work closely with members of the Cryptography research group; in particular Professor Nigel Smart, and Dr Bogdan Warinschi.

The expected starting date will be as soon as possible depending on your circumstances.Salary dependent on experience and qualifications. Please indicate whether you wish to apply for position 1, 2 or both on your application form.

Contract: Fixed Term Contract (3 - 4 years)

Salary: �29,972 - �37,990