Description:

Trail of Bits is seeking a Senior Software Security Engineer to join their Research & Engineering team, specifically within the Compiler team.
The role involves designing and implementing compiler-based security tools and frameworks across multiple compiler ecosystems, including LLVM, GCC, and JVM-based systems.
Responsibilities include developing new LLVM passes for security instrumentation, implementing formal verification tools, and enhancing program analysis frameworks for JIT compilers.
The position requires collaboration with compiler experts, security researchers, and clients to address complex security challenges at the infrastructure level.
Candidates will have opportunities to pursue compiler security research while delivering practical solutions for clients, primarily using C++, Rust, and LLVM toolchains.
Success in this role is measured through technical innovation and business impact, contributing to the growth of formal verification and program analysis service offerings.

Requirements:

Candidates must have strong knowledge of compiler design and implementation across ecosystems such as LLVM, GCC, Rust, JVM, or WebAssembly.
Experience with static and dynamic analysis techniques, symbolic execution, and building analysis tools is required.
Familiarity with formal verification approaches and tools for proving properties about programs is essential.
Knowledge of software security principles and vulnerability classes, particularly in compiler and language contexts, is necessary.
Strong development skills in C++, Rust, Java, and/or OCaml with experience contributing to large codebases are required.
Candidates should be able to communicate complex technical concepts clearly to both technical and non-technical audiences.
Demonstrated ability to identify opportunities where compiler security techniques can address client needs and drive business growth is important.
Experience translating technical solutions into business value for clients and stakeholders is required.
Candidates should have a 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 is preferred.
This position requires candidates to be authorized to work in the United States (US citizens or permanent residents/green card holders only).

The position offers a competitive salary complemented by performance-based bonuses.
Fully company-paid insurance packages, including health, dental, vision, disability, and life insurance, are provided.
A solid 401(k) plan with a 5% match of the base salary is included.
Employees receive 20 days of paid vacation with flexibility for more, adhering to jurisdictional regulations.
The company offers 4 months of parental leave for new family members.
For those interested in relocating to NYC, $10,000 in relocation assistance is available.
A $1,000 Working-from-Home stipend is provided to create a comfortable and productive home office.
An annual $750 Learning & Development stipend is available for continuous personal and professional growth.
Company-sponsored all-team celebrations, including travel and accommodation, are organized to foster community and recognize achievements.
Philanthropic contribution matching up to $2,000 annually is offered to support community impact initiatives.