Description
Trail of Bits is hiring a remote Senior Security Engineer Research & Engineering
Trail of Bits is looking for a Senior Security Engineer to evaluate formal specifications designs and proofs uncover vulnerabilities build AI driven security tooling and deliver rigorous assessments.
🤓 Dafny | vulnerability | red teaming | threat modeling | network protocols | security assessment | Verus | Fuzzing | exploit-generation | cryptography | vulnerability discovery | C# | binary analysis | AI | operating systems | Rust | vulnerability disclosure | F# | Python | Lean
Want your message here? Ask [handle] about sponsoring JobStash!
Telegram | X
Employer contacts (email/phone/telegram) are hidden from the public preview —
send your CV, and we will connect you directly.