Senior Software Security Engineer, Trail of Bits
Research & Engineering
$150-200k
+ Performance-Based Bonuses
More information about location
Security engineering firm
Be an early applicant
Security engineering firm
21-100 employees
Be an early applicant
$150-200k
+ Performance-Based Bonuses
More information about location
21-100 employees
Company mission
To help secure the world's most targeted organizations and products.
Role
Who you are
- Compiler & Program Analysis Expertise: Strong knowledge of compiler design and implementation across ecosystems such as LLVM, GCC< Rust, JVM, or WebAssembly
- Experience with static/dynamic analysis techniques, symbolic execution, and building analysis tools
- Formal Methods & Security Skills: Experience with formal verification approaches and tools for proving properties about programs
- Knowledge of software security principles and vulnerability classes, particularly in compiler and language contexts
- Technical Capabilities: Strong development skills in C++, Rust, Java, and/or OCaml with experience contributing to large codebases
- Ability to communicate complex technical concepts clearly to both technical and non-technical audiences
- Business Acumen: Demonstrated ability to identify opportunities where compiler security techniques can address client needs and drive business growth
- Experience translating technical solutions into business value for clients and stakeholders
- Research & Collaboration: Demonstrated ability to understand and implement techniques from academic research, collaborate effectively in small teams, and mentor others on compiler and security topics
- Experience writing technical documentation and presenting at conferences
What the job involves
- Trail of Bits seeks a Senior Software Security Engineer within our Research & Engineering team to join our Compiler team, working at the intersection of compiler technology, program analysis, and security engineering
- You will design and implement compiler-based security tools and frameworks across multiple compiler ecosystems, including LLVM, GCC, and JVM-based systems, with a focus on static and dynamic analysis techniques and formal verification approaches
- On any given day, you might develop new LLVM passes for security instrumentation, implement formal verification tools, enhance program analysis frameworks for JIT compilers, and more
- Working in small teams of 2-4 people, you’ll collaborate with other compiler experts, security researchers, and clients to solve complex security challenges at the infrastructure level
- You will have opportunities to pursue compiler security research while delivering practical solutions for clients
- Development primarily involves C++, Rust, and LLVM toolchains
- Success is measured through both technical innovation and business impact, as you’ll be expected to help grow our formal verification and program analysis service offerings
- Compiler-Based Security Tools: Design and implement security-focused compiler passes and tools across multiple compiler ecosystems (LLVM, GCC, JVM, WebAssembly) that enable automated vulnerability detection and mitigation at compile time
- Formal Verification: Develop and apply formal methods to verify critical properties of software, and create practical tooling that bridges academic verification approaches with real-world codebases
- Program Analysis Frameworks: Build and enhance static and dynamic analysis frameworks that identify security vulnerabilities in complex systems before they reach production, with particular attention to language-specific vulnerability patterns
- Client Solutions: Collaborate directly with industry-leading teams to implement bespoke compiler security solutions, helping clients integrate security controls into their build systems and compiler tool changes
- Business Development: Contribute to our growing compiler security practice by demonstrating technical excellence that attracts new clients seeking compiler-level security solutions and formal verification services
Our take
As more and more commercial activities go online, companies are increasingly exposed to cybersecurity threats. This requires organizations to get serious about their digital security infrastructure. As a result, the business of cybersecurity auditing has boomed.
Trail of bits is one such auditing firm with a signature method: combining its top-quality research in the cybersecurity field with the approaches of a real-world hacker. Distinguishing itself even further, the company has engaged in a new strategy fit for a new market - blockchain. The cybersecurity firm is now one of the world’s most prominent blockchain code auditors.
It's an exploding niche for which Trail of Bits has also been able to create an entirely new business line. While also auditing on behalf of blockchain software businesses, it is also expanding a service of engaging the government & large financial institutions for work on evaluating the risks of blockchain software.
Trail of Bits is well positioned as a result. Even if, as some commentators predict, the bottom falls out of the blockchain industry, the firm has used the momentum to reinforce its position as a thought leader on cutting-edge technology, establishing important partnerships that will last regardless.
Kirsty
Company Specialist at Welcome to the Jungle
Insights
18% employee growth in 12 months
Company
Funding (last 2 of 5 rounds)
Aug 2023
$4m
SEED
Jan 2018
$0.2m
GRANT
Total funding: $5.4m
Company benefits
- Health Insurance with no-monthly-premiums
- Vision, Dental, Life & Disability Insurance
- Access to Kindbody for gynecology and fertility care
- Access to HealthAdvocate, Teledoc & OneMedical
- 401k with 5% company matching
- Competitive salaries
- Ongoing bonus opportunities
- ConnectYourCare Flex Spending Account (FSA)
- Commuter Benefits
- Fitness stipends
- Four weeks of PTO
- Fifteen company holidays
- 4 months paid parental leave
- End-of-year performance bonus
- Continuing education, public presentations and blog posts
- Recruiting & referrals
- Conferences & off-sites
- Company & team outings
- Virtual events
- Continuing education
- Training sessions & learning courses
- Internal research & development Projects
- Charitable donation matching
- Relocation assistance
- 1Password subscription
- Work from home stipend
- Remote work friendly
Company HQ
Gowanus, NY
Leadership
Dan Guido
(Co-Founder & CEO)Previously a Senior Security Consultant at iSEC Partners. Also worked as Threat Intelligence Lead for the U.S. Federal Reserve System. Former NSA Analyst.
Share this job
View 2 more jobs at Trail of Bits