Newcastle University
Research Assistant/Associate in Formal Methods
How your CV stacks up
Upload your CV to see how well it fits this job role
?%
Salary:
Research Assistant £33,951 to £35,608 per annum
Research Associate £36,636 per annum
Newcastle University is a great place to work, with excellent benefits. We have a generous holiday package; plus the opportunity to buy more, great pension schemes and a number of health and wellbeing initiatives to support you.
Closing Date: 23 August 2026
The Role
We are seeking a highly motivated researcher to join the Software Security Lab at School of Computing, Newcastle University as a Research Associate/Assistant in Formal Methods. This is an exciting opportunity to contribute to cutting-edge research at the intersection of formal methods, program analysis, and software security.
The successful candidate will play a key role in designing and developing novel formal theories and building tools with rigorous foundations for the specification, verification, and analysis of software systems. The position offers considerable scope for independent research and collaboration in a vibrant research environment, with opportunities to collaborate with leading industrial partners, including Google DeepMind.
Applicants should hold a PhD in formal methods, program analysis, or a closely related area. We are looking for individuals with strong analytical and problem-solving abilities who can work independently, manage research activities effectively, and deliver high-quality outcomes. Experience in tool development and solid programming skills are essential, with expertise in functional programming languages, Rust, or Java particularly desirable.
The appointment is available on a full-time, fixed-term basis for 8 months, with the possibility of extension, and is available for immediate start.
If you are interested in advancing the theory and practice of secure software systems and would like to work on challenging and impactful research problems, we would be delighted to hear from you.
To apply, please complete the online application and upload your CV and a cover letter. In your cover letter, please explain how your experience and achievements address the essential requirements of the role.
Please reach out to Dr. Narges Khakpour at narges.khakpour@newcastle.ac.uk if you have any questions.
As part of our commitment to career development for research colleagues, the University has developed 3 levels of Research Innovation Role Profiles.pdf. These profiles set out firstly the generic competencies and responsibilities expected of role holders at each level and, secondly, the general qualifications and experiences needed for entry at a particular level.
Find out more about the Faculty SAgE here: https://www.ncl.ac.uk/sage/
Find out more about our Research Institutes: https://www.ncl.ac.uk/computing/research/
Reasons to use Rodeo
Start with a chat, not a search bar
Grad scheme, placement, apprenticeship? Not sure what you want yet — that's fine. Your agent talks it through with you and turns "I have no idea" into a shortlist.
It searches the market for you
Every day your agent scans the market matching roles against what actually matters to you, not just keywords on a CV.
Only hits
No noise. No "maybe this fits." Just roles with a clear explanation of why they're right — and where to focus when applying.
Key Accountabilities
Research Assistant
- Collect, analyse and interpret research data and draw conclusions on the outcomes
- Co-ordinate own work with that of others, use problem solving to affect the achievement of research objectives and contribute to the planning of the project(s)
- Present information on research progress and outcomes to a Principal Investigator or groups overseeing the research project
- Write up results from own research activity and provide input into the research project’s dissemination, in whatever form (report, papers, chapters, books)
- Use research resources (including, where required, laboratories, workshops and specialist equipment) as appropriate
- Conduct high-quality research related to software security, open-source software development and formal methods
- Work successfully in an inter-organisational team including industrial partners
- Disseminate the project results and present the research results in written and oral form
- Contribute to the culture and general strengths of the research group and the school, through engaging in the group/school activities, organising and participating in events, etc
In addition for Research Associate
- Contribute ideas, including enhancements to the technical or methodological aspects of the project
- Determine appropriate methodologies for research
- Assess research findings for the need/scope for further investigations
- Contribute to the writing up of the research and its dissemination, either through seminar and conference presentations or through publications
- Present research findings, either at conferences or through publications in reputable outlets appropriate to the discipline
- Contribute to grant applications submitted by others and develop own research objectives and proposals for funding
The Person
Knowledge, Skills and Experience
Research Assistant
- Knowledge of/Ability to/Experience of formal methods, program analysis or related areas
- Proven expertise in formal methods, with experience in either security or software engineering
- Experience in programming and tool development
- Attention to detail and ability to work at high levels of accuracy
- Ability to present complex information effectively to a range of audiences
- Experience of working collaboratively with colleagues
- The ability to use personal initiative and creativity to solve research problems
- Experience of presenting research findings to academic and non-academic audiences
- Ability to work effectively both independently and as part of a multidisciplinary team
Desirable
- Knowledge of summary-based and modular analysis, static program analysis, and information flow control
Get help with your application
Your very own career expert that helps elevate your application to the next level.
In addition for Research Associate
- Awareness of the research environment
- High level of analytical and problem solving capacity
- Ability to communicate complex information with clarity
- Experience of presentations at conferences and/or in high quality publications
Attributes and Behaviour
- Commitment to working positively as a member of a multi-skilled research team
- Ability to negotiate and prioritise multiple, competing responsibilities and to work to deadlines
- Commitment to continued professional development
- Understanding of good practice in equality, inclusion and diversity
- Excellent organisational and interpersonal skills
- Proven ability to plan the work independently with minimal supervision and adhere to a time plan to meet the deadlines while producing high-quality research
- Demonstrated ability and willingness to travel to present the project research results to academic and non-academic audience, e.g., at national and international academic/industrial conferences, or to fellow academics in other disciplines
Qualifications
Research Assistant
- Honours degree in Computer Science, Mathematics or a related area
In addition for Research Associate
- PhD in Computer Science, Mathematics or a related area
Newcastle University is a global University where everyone is treated with dignity and respect. As a University of Sanctuary, we aim to provide a welcoming place of safety for all, offering opportunities to people fleeing violence and persecution.
We are committed to being a fully inclusive university which actively recruits, supports and retains colleagues from all sectors of society. We value diversity as well as celebrate, support and thrive on the contributions of all of our employees and the communities they represent. We are proud to be an equal opportunities employer and encourage applications from individuals who can complement our existing teams, we believe that success is built on having teams whose backgrounds and experiences reflect the diversity of our university and student population.
At Newcastle University we hold a Gold Athena Swan award in recognition of our good employment practices for the advancement of gender equality. We also hold a Race Equality Charter Bronze award in recognition of our work towards tackling race inequality in higher education REC. We are a Disability Confident employer and will offer an interview to disabled applicants who meet the essential criteria for the role as part of the offer and interview scheme.
In addition, we are a member of the Euraxess initiative supporting researchers in Europe.
Requisition ID: 29519
“It took my CV and asked me questions relevant to understanding what kind of jobs to suggest for me. Suggestions were almost perfect. Jobs were exactly what I’ve been looking for.”
Jessica, London
Skills