Remote 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.