Senior Software Security Engineer, Research & Engineering

Position Overview

• Location Type: Remote
• Job Type: Full-time
• Salary: $10,000

Trail of Bits is seeking a Senior Software Security Engineer within our Research & Engineering team to join our Compiler team. This role focuses on designing and implementing compiler-based security tools and frameworks across multiple compiler ecosystems, including LLVM, GCC, and JVM-based systems. You will work at the intersection of compiler technology, program analysis, and security engineering.

Requirements

• Experience with C++, Rust, and LLVM toolchains.
• Familiarity with compiler design and analysis techniques.
• Understanding of security vulnerabilities and mitigation strategies.
• Ability to work effectively in small, collaborative teams.

Responsibilities

• Design and implement security-focused compiler passes and tools across multiple compiler ecosystems (LLVM, GCC, JVM, WebAssembly).
• Develop and apply formal methods to verify critical properties of software.
• Create practical tooling that bridges academic verification approaches with real-world codebases.
• Enhance program analysis frameworks for JIT compilers.
• Contribute to compiler security research and deliver practical solutions for clients.
• Collaborate with other compiler experts, security researchers, and clients.

Company Information

Founded in 2012 by 3 expert hackers with no investment capital, Trail of Bits is the premier place for security experts to boldly advance security and address technology’s newest and most challenging risks. It has helped secure some of the world's most targeted organizations and devices. Our combination of novel research with practical solutions reduces the security risks that our clients face from emerging technologies. Our work helps drive the security industry and the public understanding of the technology underlying our world. Cybersecurity preparedness is a moving target. Companies like ours are the tip of the spear in the fight against attackers. Our research-based and custom-engineering approach ensures that our clients’ capabilities are at the forefront of what’s available. For companies and technologies that live and die by their security, a proactive, tailored approach is required to keep one step ahead of attackers. Democratizing security information is essential. As part of our business, we provide ongoing informational support through blogs, whitepapers, newsletters, meetups, and open-source tools. The more the community understands security, the more they’ll understand why a company like ours is so unique and valuable.