Research Assistant

The University of Edinburgh is seeking four research assistants to join a team building an agentic security stack that integrates cryptography, privacy-enhancing technologies, and automated verifiable design. This role involves decomposing tasks by security risks, translating user requirements into formal specifications, and verifying cryptographic protocols to support end-to-end multi-agent interactions. The position offers an opportunity to contribute to academic outputs and work closely with senior researchers on project deliverables.