Senior Security Engineer, Research & Engineering
Core
Evaluate formal proofs and specifications against real-world threat models to find gaps, then build AI-driven tooling to automate vulnerability discovery and generate exploits.
Role type
Senior Security Engineer (Research & Engineering)
Builds
AI-driven agentic harnesses, triage pipelines, and automated exploit generation systems
Domain
Cybersecurity, Formal Methods, AI Infrastructure, Cryptography
Deliverable
production ML models | product features
Required skills
Red teaming, building AI tools for bug finding, formal methods, systems domain depth, software development (Python/C++/Rust), written technical reporting, vulnerability disclosure
Preferred skills
Published vulnerability research, auditing formally verified codebases, building automated bug-finding infrastructure, zero-knowledge proofs, attacking AI inference infrastructure, CTF participation, compiler/program analysis
Technologies
Lean, Rocq, F*, Dafny, Verus, Rust, Python, C++, Buttercup, LLMs
Responsibilities
Break systems built to resist you by demonstrating exploits; Map the real attack surface of formal proofs; Build tooling that decides your coverage; Write assessment records; Raise the practice around you through publishing and presenting
Seniority
Senior, hands-on IC
