Trail of Bits is seeking a Senior Software Security Engineer to join their Research & Engineering team. This role focuses on advancing software security through compiler-based mechanisms and formal verification techniques. The position requires deep expertise in compiler ecosystems like LLVM, GCC, and JVM, along with strong skills in program analysis and security improvements. As a remote position based in the United States, you'll work on cutting-edge security solutions while being part of a team dedicated to improving software security through advanced technical approaches. The role combines practical engineering with security research, making it ideal for those passionate about both software development and security innovation.