Based in the Cryptography group within the Department of Computer Science which has grown considerably in the last year, you will be an additional researcher in one of the following areas: • Analysis of “real world” protocols • Formal Methods applied to security protocols • Fully Homomorphic Encryption • Lattice Based Cryptography • Multi-Party Computation • Provable Security, i.e. Protocol and Mechanism design The post is funded by an ERC Advanced Grant awarded to Professor Nigel Smart. The expected starting date will be as soon as possible depending on your circumstances. If successful, you may be appointed either on a fixed-term or an open-ended contract depending on the extent of your previous relevant research experience. Three years’ appropriate and relevant experience at another higher education institution would normally lead to an appointment on an open-ended contract
Experience in one of the sub-areas of cryptography mentioned above. The candidate must possess a PhD or expect to be awarded one soon.