Senior Software Security Engineer

Job Summary

A company is looking for a Senior Software Security Engineer, Research & Engineering.

Key Responsibilities

• Design and implement security-focused compiler tools across multiple ecosystems, enabling automated vulnerability detection and mitigation
• Develop and apply formal methods for verifying critical software properties and create practical tooling for real-world codebases
• Collaborate with clients to implement custom compiler security solutions and contribute to business development in compiler security practices

Required Qualifications

• Strong knowledge of compiler design and implementation, particularly with LLVM and GCC
• Experience with formal verification approaches and tools related to software security
• Proficiency in development languages such as C++, Rust, Java, or OCaml
• Demonstrated ability to identify business opportunities related to compiler security techniques
• Experience collaborating in small teams and mentoring on compiler and security topics