We are a world-class, research-intensive university. We provide teaching and learning of the highest quality. We play a leading role in the economic, social and cultural development of the North East of England. Attracting and retaining high-caliber people is fundamental to our continued success.

The role
This is an exciting opportunity, ideal for early-career researchers, to be part of an internationally recognized research and innovation team. You will contribute to an innovative international research project on Practical Testing of Formal Requirements (PlaTFoRm), co-funded by Innovate UK and the German ZIM Initiatives. In this project, two companies – D-Risq Ltd in the UK and Verified Software International (VSI) – are linking their software tools to help detect faults in safety-critical systems in a cost-effective way and at an early stage of development. These two companies are supported in the project by Newcastle University in the UK and fortiss GmbH (Research Institute of the Free State of Bavaria) in Germany, partly using case studies to test and evaluate the new approach.

You will primarily work on one of these case studies, a medical device prototype, by formalizing the requirements and building system models, taking these models through the tools developed by D-Risq and VSI until the code is generated. You’ll need to work closely with ourselves and colleagues at our partner organizations to understand emerging technologies and tools, work to find and solve problems, and provide constructive feedback. You will also contribute to writing project deliverables, as well as papers and presentations for external audiences. We are looking for someone who has the ability to use creativity and challenge standard ways of thinking to overcome problems. Your role will be essential to the project by contributing creativity, communication and technical skills.

The College of Computing values ​​individual differences and the diversity that this brings and we want to ensure that no one is put at risk because of who they are. Our values ​​are embedded in our engagement activity, so we are looking for someone with a diversity of thought who embraces equality, diversity and inclusion, ensuring that our values ​​are embedded in our research activity.

We are looking for someone with a ‘can do’ attitude and a flexible and helpful approach. As a PI, you must be an excellent communicator with demonstrable interpersonal skills and the ability to solve problems.

This is a fixed term, part time position, 18.5 hours for 21 months.

For more information about the College of Computing, please visit the website https://www.ncl.ac.uk/computing/.

Prospective candidates are encouraged to informally contact Dr. Ken Pearce (kenneth.peirce@ncl.ac.uk) and Dr. Leo Freitas (leo.freitas@ncl.ac.uk) via email with any inquiries.