.buttontext6d0b46980d8b0627 a{ border: 1px solid transparent; } .buttontext6d0b46980d8b0627 a: focus{ border: 1px dashed #16726d !important; outline: none !important; }
Research Assistant/Associate in Formal Methods
Requisition ID: 29519
Location:
Newcastle, GB
#job-location.job-location-inline { display: inline; }
Contract Type: Fixed Term
Working Pattern: Full Time
Posted Date: 14 Aug 2026
.buttontext5b73eb8ce7144827 a{ border: 1px solid transparent; } .buttontext5b73eb8ce7144827 a: focus{ border: 1px dashed #16726d !important; outline: none !important; }
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: 30 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
[email protected] 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/
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
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
.buttontext5b9fe3ea4bb792d9 a{ border: 1px solid transparent; } .buttontext5b9fe3ea4bb792d9 a: focus{ border: 1px dashed #16726d !important; outline: none !important; }
