Senior Security Engineer

Job Summary

To advance cybersecurity practices, the full-time Senior Security Engineer will evaluate specifications and proofs, build AI-driven tooling for vulnerability discovery, and conduct red-team evaluations in a remote capacity within the United Kingdom.

Key responsibilities

• Evaluate system designs and proofs to identify vulnerabilities and establish formal properties
• Build and extend AI-driven discovery and triage systems for effective vulnerability coverage
• Produce detailed security assessment reports and contribute to knowledge sharing through publications and presentations

Required qualifications

• Direct experience with red teaming production software and finding exploitable vulnerabilities
• Experience in building AI-driven tooling for vulnerability discovery
• Familiarity with formal methods and the ability to read specifications and proof artifacts
• Depth of experience in systems domains such as network protocols, operating systems, or cryptographic implementations
• Proficiency in programming languages such as Python, C++, and/or Rust