Senior Security Engineer, Research & Engineering

Trail of Bits Senior Security Engineer, Research & Engineering YesterdaySaved In-Office or Remote Brooklyn, New York, USA Senior level Senior levelArtificial Intelligence • Blockchain • Professional Services • Security • Consulting • Cybersecurity • DefenseConduct red-team assessments of formally verified systems, evaluating proofs, specifications, threat models, and trusted computing bases. Build AI-driven vulnerability discovery, triage, and exploit-generation tooling; identify and demonstrate exploitable weaknesses in software and infrastructure. Produce rigorous security reports, publish methodologies, collaborate with domain experts and third parties, and deliver engagements on fixed schedules.Top Skills: ButtercupC++DafnyF*FuzzingLeanPythonRocqRustSmtSymbolic ExecutionVerus