Research Associate in Automated Verification of

5 months ago

Manchester, United Kingdom The University of Manchester Full time

Soteria is a cyber-security demonstrator for the e-commerce industrial market. UKRI funds it as part of the Industrial Strategy Challenge Fund, Digital Security by Design (DSbD) Challenge. DSbD is a substantial program of advanced collaborative research and development, technology prototyping, and business-led demonstrators, which aims to radically update the foundation of the UK's insecure digital computing infrastructure. The cornerstone of the challenge is a technology platform prototype called "Morello", which is more resistant to cyber threats than conventional architectures and is being developed in a research program at Arm.

Manchester will bring Soteria's deep experience and expertise in automated formal software verification to advance research by addressing the unique challenge of the DSbD technology and improving security assurance for the technology developed and demonstrated within Soteria. In particular, the aim is to leverage and extend existing formal analysis techniques to find (and fix) security issues in software running on capability hardware (Morello). Capability hardware can be used to circumvent many typical memory safety issues and to implement advanced compartmentalisation approaches. However, security is only achieved if these features are used correctly - common issues may be fixed, but this may move the attack surface elsewhere.

Manchester has a long and distinguished track record in researching core Computer Science and across interfaces to adjacent disciplines. Founded upon the pioneering work of Williams, Kilburn and Turing, the Department was the first academic Department of Computer Science in the UK and one of the first to run an undergraduate programme. The research strength of the school is reflected in consistently strong returns in UK research assessment exercises (5* in RAE 2000, 2nd in Research Power in RAE 2008, 4th in overall GPA in REF 2014 and ranked equal 1st for research environment). The Systems and Software Security (S3) and Formal Methods (FM) Research Group have a broad range of interests, from developing the new mathematics of computational behaviour to all aspects of logic through studying and developing system design and verification methods.

**What you will get in return**:

- Fantastic market leading Pension scheme
- Excellent employee health and wellbeing services including an Employee Assistance Programme
- Exceptional starting annual leave entitlement, plus bank holidays
- Additional paid closure over the Christmas period
- Local and national discounts at a range of major retailers

As an equal opportunities employer we welcome applicants from all sections of the community regardless of age, sex, gender (or gender identity), ethnicity, disability, sexual orientation and transgender status. All appointments are made on merit.

Our University is positive about flexible working - you can find out more here

Hybrid working arrangements may be considered.

Any CV’s submitted by a recruitment agency will be considered a gift.

**Enquiries about the vacancy, shortlisting and interviews**:
Name: Lucas Cordeiro

**General enquiries**:
**Technical support**:
**Please see the link below for the Further Particulars document which contains the person specification criteria.

  • Research Associate

    1 week ago

    Manchester, United Kingdom The University of Manchester Full time

    The School Computer Science invites applications from suitably qualified candidates for a full time, fixed term post of postdoctoral research associate (PDRA), tenable from 1st April 2025 until 30th September 2027 to join the Autonomy and Verification Research Group. We are looking to appoint a PDRA with expertise in the verification, validation and...

  • Research Associate or Research Fellow in Security

    5 months ago

    Manchester, United Kingdom The University of Manchester Full time

    **Background** The SECCOM project will investigate the art of architectural possibility, a model for security reasoning, and an approach to dynamic verification of computer systems constructed utilizing composable fabrics such as PCIe and Compute Express Link (CXL). This multifaceted project is, therefore, looking to hire one or two research...

  • Clinical Research Associate

    1 month ago

    Manchester, United Kingdom Worldwide Clinical Trials, LLC Full time

    Join Our Team as a Clinical Research AssociateAt Worldwide Clinical Trials, LLC, we are seeking a highly skilled Clinical Research Associate to join our team. As a Clinical Research Associate, you will play a vital role in ensuring the quality and excellence of our clinical research programs.Key Responsibilities:Conduct site qualifications, initiation,...

  • Clinical Research Associate

    1 month ago

    Manchester, United Kingdom Worldwide Clinical Trials, LLC Full time

    Join Our Team as a Clinical Research AssociateAt Worldwide Clinical Trials, LLC, we are seeking a highly skilled Clinical Research Associate to join our team. As a Clinical Research Associate, you will play a vital role in ensuring the quality and excellence of our clinical research programs.Key Responsibilities:Conduct site qualifications, initiation,...

  • Verification Engineer – SoC Verification

    6 days ago

    Manchester, United Kingdom ARM Full time

    About The Team: Join our dynamic FPGA Prototyping verification team, a key part of Arm's Solutions Engineering group! We are a dedicated group of engineers providing a robust platform to build and test software on Arm's cutting-edge subsystems and System-on-Chips (SoCs). Our mission is to accelerate the development process by offering a versatile and...

  • Senior Verification Engineer – SoC Verification Expert

    4 days ago

    Manchester, United Kingdom ARM Full time

    About the TeamAt Arm, our FPGA Prototyping verification team plays a key role in Arm's Solutions Engineering group. We're a dedicated group of engineers who provide a robust platform to build and test software on Arm's cutting-edge subsystems and System-on-Chips (SoCs). Our mission is to accelerate the development process by offering a versatile and...

  • Clinical Research Associate

    4 weeks ago

    Manchester, United Kingdom Worldwide Clinical Trials Full time

    About UsAt Worldwide Clinical Trials, we're a global team of over 3,500 experts who are passionate about changing the way the world experiences CROs. We believe that everyone plays a vital role in making a difference for patients and their caregivers.Our MissionWe're committed to advancing clinical research and making a profound impact on the lives of...

  • Clinical Research Associate

    4 weeks ago

    Manchester, United Kingdom Worldwide Clinical Trials Full time

    About UsAt Worldwide Clinical Trials, we're a global team of over 3,500 experts who are passionate about changing the way the world experiences CROs. We believe that everyone plays a vital role in making a difference for patients and their caregivers.Our MissionWe're committed to advancing clinical research and making a profound impact on the lives of...

  • Research Associate

    6 months ago

    Manchester, United Kingdom The University of Manchester Full time

    Formal Methods and Verification - Certification and Assurance - Transparency and Explainability - Trustworthy Autonomous Systems - Autonomy and Agent Systems Crucially, you will have an interest in working with regulatory and certification bodies and industry develop routes for the assurance of Autonomous and Robotic Systems. You will work with Dr Louise...

  • Verification Consultant

    2 months ago

    Manchester, United Kingdom Escode, Part of NCC Group Full time

    Thanks for checking out our job opening; we are excited that YOU are interested in learning more about NCC Group. We are on a mission to make society a safer and more secure place. Our people are the ones who make that mission possible; a global community of talented individuals working together towards a safer future. We aim to create an environment where...

  • Research Associate: Science of Science

    5 months ago

    Manchester, United Kingdom The University of Manchester Full time

    We seek to appoint a Research Associate in the Science of Science to work on the project “Innovations in the Lab: Leveraging Transformations in Science.” The researcher will be housed at the Manchester Institute of Innovation Research, Alliance Manchester Business School, under the supervision of Dr Cornelia Lawson and Professor Philip Shapira. You will...

  • Software Verification Specialist

    3 weeks ago

    Manchester, New Hampshire, United Kingdom Escode, Part of NCC Group Full time

    We are seeking a skilled Software Verification Specialist to join our team at Escode, Part of NCC Group. As a Verification Consultant, you will play a crucial role in ensuring the integrity and usability of deposited code for our clients.The role involves working closely with Independent Software Vendors (ISVs) to perform Verification services, which provide...

  • Verification Consultant

    2 months ago

    Manchester, United Kingdom Escode, Part of NCC Group Full time

    Thanks for checking out our job opening; we are excited that YOU are interested in learning more about NCC Group.We are on a mission to make society a safer and more secure place. Our people are the ones who make that mission possible; a global community of talented individuals working together towards a safer future. We aim to create an environment where...

  • Software Verification Specialist

    3 weeks ago

    Manchester, United Kingdom Escode, Part of NCC Group Full time

    About the RoleWe are seeking a skilled Verification Consultant to join our team at Escode, Part of NCC Group. As a Verification Consultant, you will play a crucial role in ensuring the integrity and usability of deposited code for our clients.Your primary responsibility will be to conduct Verification services in conjunction with Independent Software Vendors...

  • Software Verification Specialist

    4 weeks ago

    Manchester, New Hampshire, United Kingdom Escode, Part of NCC Group Full time

    About Escode, Part of NCC GroupWe are a leading provider of escrow services, committed to ensuring operational resilience and peace of mind for both vendors and licensees. Our comprehensive services safeguard investment in digital assets, protecting invaluable code and technology.The OpportunityWe are seeking a skilled Verification Consultant to join our...

  • Research Associate in Education

    4 weeks ago

    Manchester, United Kingdom The University of Manchester Full time

    Join Our Research TeamThe Manchester Institute of Education (MIE) is a leading research centre that focuses on equity and practice in education. Our research aims to improve the quality of education for students, families, and communities worldwide.We are seeking a Research Associate to work with our team under the supervision of Professor Neil Humphrey. The...

  • Research Associate in Education

    4 weeks ago

    Manchester, United Kingdom The University of Manchester Full time

    Join Our Research TeamThe Manchester Institute of Education (MIE) is a leading research centre that focuses on equity and practice in education. Our research aims to improve the quality of education for students, families, and communities worldwide.We are seeking a Research Associate to work with our team under the supervision of Professor Neil Humphrey. The...

  • Research Associate in Education

    4 weeks ago

    Manchester, United Kingdom The University of Manchester Full time

    Join Our Research TeamThe Manchester Institute of Education (MIE) is a leading research centre that focuses on equity and practice. Our research aims to improve the quality of education for students, families, and communities worldwide. We collaborate with policymakers and practitioners to develop innovative solutions.Research Associate RoleWe are seeking a...

  • Research Associate in Education

    4 weeks ago

    Manchester, United Kingdom The University of Manchester Full time

    Join Our Research TeamThe Manchester Institute of Education (MIE) is a leading research centre that focuses on equity and practice. Our research aims to improve the quality of education for students, families, and communities worldwide. We collaborate with policymakers and practitioners to develop innovative solutions.Research Associate RoleWe are seeking a...

  • Software Verification Specialist

    4 weeks ago

    Manchester, United Kingdom Escode, Part of NCC Group Full time

    Job Title: Software Verification ConsultantWe are seeking a skilled Software Verification Consultant to join our team at Escode, Part of NCC Group. As a Verification Consultant, you will play a crucial role in ensuring the integrity and usability of deposited code for our clients.About the RoleThe primary responsibility of this role is to perform...