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. The role involves decomposing tasks by security risks, translating user requirements into formal specifications, and verifying cryptographic protocols to enable secure multi-agent interactions. This position contributes to project deliverables and academic outputs within the fields of cryptography, formal verification, and agentic systems.