Research Assistant/Associate in Formal Methods

Newcastle University; Newcastle upon Tyne; On-site; GBP 34,000 - 36,000; Full time

Job summary

Newcastle University seeks a Research Assistant/Associate in Formal Methods to join the Software Security Lab at the School of Computing. The role focuses on designing and developing formal theories and tools for specification, verification, and analysis of software systems, with opportunities for independent research and industry collaboration, including Google DeepMind.

The candidate should have a PhD in formal methods or related fields, strong analytical skills, and programming experience

Qualifications

• Knowledge of formal methods, program analysis or related areas.
• Proven expertise in formal methods, with experience in security or software engineering.
• Experience in programming and tool development.

Responsibilities

• Collect, analyse and interpret research data and draw conclusions on the outcomes.
• Coordinate own work with that of others and contribute to planning.
• Present information on research progress to leads and groups.

Skills

Formal methods

Program analysis

Tool development

Rust/Java

Education

Honours degree in Computer Science or Mathematics

PhD in Computer Science/related area

Tools

Rust

Java

Job description

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.

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.