Senior Research Fellow

About the role The successful candidate will have experience working in a research environment, be knowledgeable in the fields of semantics, automata, and verification, and have practical experience in implementation of complex algorithms.
About you We are looking for a research assistant with strong programming skills, familiarity with network protocols and experience in one of the following areas: model-based testing and verification, formal methods for concurrency, automated analysis of hardware systems.
Experience in multiple areas will be valued.A job description and person specification can be accessed at the bottom of this page.
To apply for the vacancy please click on the 'Apply Now' button below.
If you have any queries regarding the vacancy or the application process, please contact Prof. Alexandra Silva, .
What we offer As well as the exciting opportunities this role presents, we also offer some great benefits some of which are below:- 41 Days of holiday (including 27 days annual leave 8 bank holidays and 6 closure days) - Hybrid Final Salary Pension Scheme- Cycle to work scheme and season ticket loan- On-Site nursery- On-site gym- Enhanced maternity, paternity and adoption pay- Employee assistance programme: Staff Support Service- Discounted medical insurance