Job Opportunities API

Please note: This role is only open to redeployee applicants at City St George's in the first instance. Applications from individuals who are not redeployee applicants will not be considered at this time. If you are a redeployee, please email your CV and cover letter to [email protected] with the job title and reference number, demonstrating how you meet the essential criteria outlined in the person specification. If you are an internal candidate, please use your @citystgeorges.ac.uk email address when applying via job portal. 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.