Research Assistant/Associate in Formal Methods
Newcastle University, United Kingdom
- Institution
- Newcastle University
- Country
- United Kingdom
- Position type
- Research Assistant
- Subject area
- Computer Science & AI
- Salary
- GBP 33951.00–36636.00 YEAR
- Location
- Newcastle upon Tyne, England, United Kingdom
- Funding
- Fully funded position
Want to be the strongest applicant for this position?
Book a free 15-minute call with our team. We will look at your profile against what Newcastle University is actually looking for, and tell you honestly where you stand and what to strengthen before you apply.
Book a free call about this position →No cost, no obligation. Mentors who have secured funded PhD positions themselves.
We mentor STEM applicants only. If your research aspirations are outside STEM subjects, you're very welcome to use this board and apply directly; we just aren't the right people to mentor you.
About this position
Company description:
We are a world class research-intensive university. We deliver teaching and learning of the highest quality. We play a leading role in economic, social and cultural development of the North East of England. Attracting and retaining high-calibre people is fundamental to our continued success.
Job description:
Salary:
Research Assistant £33,951 to £35,608 per annum
Research Associate £36,636 per annum
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/
Apply directly to Newcastle University
Emerging Scholars Council is not the employer and does not recruit for this position. It is advertised by Newcastle University, and your application goes to them. We help students prepare and strengthen their applications.
Go to the official application page →Contact listed in the advert
Some positions — especially in Germany, Austria and Switzerland — are filled by writing directly to the supervisor rather than through an online form. These addresses were taken from the advert text, so check them against the official listing before you write.
A cold email to a supervisor is the highest-leverage thing you can send — and the easiest to get wrong. Ask us to look at yours before you hit send.