Research Associate in Formal Methods & Software Security

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

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