Senior Security Engineer, Research & Engineering

Description: Remote position within the United Kingdom for a Senior Security Engineer at Trail of Bits, focusing on advanced security solutions and research. Role involves evaluating specifications, designs, and proofs, using AI tools to identify vulnerabilities and improve security measures. Requirements: Direct experience in red teaming and finding exploitable vulnerabilities in production software. Proven ability to build AI-driven tools for vulnerability discovery. Experience with formal methods and reading proof artifacts in languages like Lean or Rust. Depth in systems domains such as network protocols, operating systems, or cryptographic implementations. Proficiency in software development with Python, C++, or Rust. Experience writing security assessment reports for expert audiences. Ethical vulnerability disclosure experience. Benefits: Competitive salary with performance-based bonuses. $1,000 stipend for home office setup and $750 for learning and development annually. Company-sponsored team celebrations and community impact contributions matching up to $2,000 annually.