Overview
We are seeking a Senior Systems Software Engineer – Verification & Security to join our growing technical team for a public-sector R&D programme focused on the cybersecurity and operational assurance of AI agents. In this role, you will develop the core verification mechanisms essential for establishing reliable evidence about automated actions and ensuring evidence integrity under various conditions. Working closely with the Principal Technical Lead, you will enhance existing software capabilities to enable transparent and rigorous verification processes for high-assurance environments.
Responsibilities
- Develop and extend the existing verification software.
- Implement reliable evidence processing, canonicalisation and integrity mechanisms.
- Ensure adequate representation of failed and insufficient evidence in the system.
- Develop deterministic and versioned verification functionality.
- Handle incomplete observation and system-boundary conditions effectively.
- Build automated tests covering unusual inputs and adversarial behaviour.
- Contribute to code review, technical security work, and documentation.
Requirements
- Strong hands-on backend or systems software engineering experience.
- Practical capability in Rust or comparable systems/backend languages.
- Experience with software correctness, integrity, and failure behaviour.
- Understanding of structured data, APIs, and reusable software libraries.
- Familiarity with data integrity and practical cryptographic mechanisms.
- Experience maintaining or extending established production codebases.
- Confidence in collaborative architecture and technical reviews.
- Preferred knowledge of security best practices and resilient system design.