Lecturer in Computer Security
The role is to create and disseminate knowledge by initiating, conducting and publishing (in journals or conference proceedings) original, high-quality research, by seeking external funding and by developing and delivering undergraduate and postgraduate computer security and computer science programmes. Read more...
To apply for the post, please follow the instructions that you find by following the link above. You are also welcome to send your application to me, but that is just for my information and does not constitute making a formal application. Your application should include a covering letter, your CV and two of your research papers. You are welcome to send me informal enquiries.
- Job reference number
- 43734
- Application deadline
- 31st August 2011
Research Fellow
We have a vacancy for a research fellow for the project Analysing Security and Privacy Properties. The project uses formal methods to analyse security and privacy properties of systems. Currently, we are working on analysing electronic voting systems, hardware-based security systems (such as the TPM), mobile telephony systems and cloud computing systems. We use process calculi and logic-based methods. We are interested in candidates that enhance or extend our expertise, both in terms of the class of systems and the kinds of formal methods used. The research group contains about 6 researchers at different levels in the areas just listed, and we have another 12 researchers in various other aspects of security.
The job is available for up to 36 months. For further details and to apply, follow this link.
- Job reference number
- 43678
- Application deadline
- 9th September 2011
