Senior Software Security Engineer, Research & Engineering

Overview

Senior Software Security Engineer focusing on compiler technology and security engineering.

The ideal candidate should have strong knowledge of compiler design and experience with formal verification and security principles.

Only US citizens or permanent residents/green card holders are considered

Locations

• United States

Requirements

• Strong knowledge of compiler design
• Experience with formal verification
• Strong development skills in C++, Rust, Java

Responsibilities

• Design and implement security-focused compiler tools
• Develop formal verification methods
• Build static and dynamic analysis frameworks
• Collaborate with clients on security solutions
• Contribute to business growth in compiler security

Benefits

• Competitive salary
• Fully company-paid insurance
• 401(k) plan with 5% match
• 20 days paid vacation
• 4 months parental leave
• $1,000 WFH stipend
• Annual $750 learning stipend
• Philanthropic contribution matching