Impress employers and recruiters.
Choose from hundreds of resume examples.
Impress employers and recruiters.
Choose from hundreds of resume examples.
Target Resume Now
About the Role
City St George’s, University of London is seeking a research assistant to work on TraceGuard, an Innovate UK project developing a system-level verification platform for secure software supply chains. The project focuses on verifying how authority and permissions propagate across interconnected services, APIs, workflows, and third-party components. The postdoc will contribute to research on formal modelling and verification, delegated authority, policy constraints, trace-based assurance, and runtime verification of distributed software behaviour.
Responsibilities
- Developing models for authority delegation and execution-chain tracing
- Designing verification methods for least privilege, scope preservation, revocation consistency, and policy compliance
- Contributing to prototype tooling for CI/CD, API, cloud, and service-based environments
- Evaluating trace completeness, policy enforcement, and verification latency
- Working with EarthID and project partners to support validation in representative enterprise environments
Requirements
- MSc or equivalent experience in computer science, cybersecurity, formal methods, software engineering, distributed systems, or a related field
- Experience with runtime verification, access control, cloud-native systems, CI/CD pipelines, APIs, service meshes, or software supply chain security is advantageous
Skills
- Formal modelling
- Verification
- Delegated authority
- Policy constraints
- Trace-based assurance
- Runtime verification
- Distributed software behaviour
- Least privilege
- Scope preservation
- Revocation consistency
- Policy compliance
- Prototype tooling
- CI/CD
- API
- Cloud
- Service-based environments
- Trace completeness
- Policy enforcement
- Verification latency
- Enterprise environments
- Applied cybersecurity
- Secure-by-design systems
- Deployable research outputs
- Software supply chain assurance
Location
- City St George's
Work Type
- Full-time
Experience Level
- Researcher
Education Level
- MSc or equivalent experience
Salary/Compensations
- Sector-leading salary
Benefits
- Pension scheme
- Comprehensive package of staff training and development
About the Company
- City St George’s, University of London is the University of business, practice and the professions and brings together the expertise and excellence of City, University of London and St George’s, University of London into one institution.
- The combined university is now one of the largest higher education destinations for London students, combining a breadth of disciplines across health, business, policy, law, creativity, communications, science and technology.
- Our students are at the heart of everything that we do, and we are committed to supporting them to pursue their career and personal ambitions.
- Our research is engaged, at the frontier of practice and has a positive impact on the world around us.
- The University of business, practice and the professions.
Equal Opportunity
- City St George’s, University of London is committed to promoting equality, diversity and inclusion in all its activities, processes, and culture for our whole community, including staff, students and visitors.
- We welcome applications regardless of age, caring responsibilities, disability, gender identity, gender reassignment, marital status, nationality, pregnancy, race and ethnic origin, religion and belief, sex, sexual orientation and socio-economic background.
- City St George’s operates a guaranteed interview scheme for disabled applicants.