At a Glance
- Tasks: Develop formal solutions for secure open-source software and conduct independent research.
- Company: Join Newcastle University's Software Security Lab, a leader in innovative research.
- Benefits: Opportunity for academic growth, collaboration, and contributing to impactful projects.
- Other info: Dynamic research environment with opportunities for professional development.
- Why this job: Make a difference in software security while advancing your research career.
- Qualifications: PhD (or near completion) in formal methods or program analysis, with strong analytical skills.
The predicted salary is between 30000 - 40000 £ per year.
Newcastle University is seeking a Research Assistant/Associate in Formal Methods to join the Software Security Lab.
This role focuses on developing formal solutions for secure open-source software development and offers the opportunity for independent research.
The position requires a Ph D (or near completion) in formal methods or program analysis, and candidates should have strong analytical and problem-solving skills, along with programming experience.
#J-18808-Ljbffr
We think you need these skills to ace Formal Methods Researcher: Secure Open-Source Software in Newcastle upon Tyne
Formal Methods
Program Analysis
Analytical Skills
Problem-Solving Skills
Programming Experience
Independent Research
Software Security
