View All Vacancies
Research Fellow in Secure Systems
Department of Computer Science
£30,738 to £34,576
||Monday 09 May 2016
||Monday 13 June 2016
Thursday 30 June 2016
The Department of Computer Science at the University of Surrey is seeking to recruit a full-time researcher for up to three years. The Department has prioritised growth in the area of security research. This is a strategic post that is funded by the Department to expand the Secure Systems’ group expertise in security and verification.
The Department of Computer Science within the Faculty of Engineering and Physical Sciences has an international reputation for research and teaching. In the National Student Survey, overall student satisfaction was 95%. Research in the department is focused on two main areas: Nature Inspired Computing and Engineering, and Secure Systems, with Surrey recognized by GCHQ as one of only thirteen Academic Centres of Excellence in Cyber Security Research. Its security related research is focused on protocol analysis, security verification, trusted computing, data privacy, access control, privacy preserving security, cryptography, distributed ledger technologies, digital forensics and human-centred computing.
The successful applicant will work in the area of safety and security verification and correctness of IoT-based System of Systems both at design and runtime. The work will investigate the application of verification techniques for both stand-alone components and their networking protocols in the context of malware in components, and remote adversarial threats. The research will aim to develop verification techniques to support the security analysis of IoT based Systems of Systems. The research will be led by Dr Treharne in collaboration with Professor Schneider and other group members.
The fellowship allows for flexibility in the profile of applicants:
· Practically-minded applicants who have good programming skills, experience in working in embedded systems, trusted execution environments and platforms, networking protocols and security;
· Applicants with a background in formal verification techniques and reasoning about concurrent systems and/or security analysis.
Experience in both is preferred but in-depth knowledge of only one is expected. Additionally, an enthusiasm to learn about the other area will be required. We are looking for applicants that demonstrate strong research and analytical skills, have strong communication skills and enthusiasm for developing their own research ideas.
Applicants should have a PhD in a relevant subject or equivalent professional experience. The post is available for 36 months, with some flexibility in the start date. For an informal discussion about the position, please contact the Head of Department of Computer Science, Dr Helen Treharne on firstname.lastname@example.org.
As part of your application, you are required to upload a research statement via the online application system.
The University is committed to equality of opportunity in employment and offer many opportunities to help researchers develop as independent researchers and also offers the opportunity to contribute to teaching.
The closing date for this job opportunity has now passed, and applications are no longer being accepted for this position
For more information and to apply online, please download the further details and click on the 'apply online' button above.
We acknowledge, understand and embrace diversity.