Software Engineer 3 (C++/Rust)

📋 Description

• Design and develop scalable static analysis for large cloud environments.
• Enhance and maintain core analysis infra for performance and reliability.
• Develop new analysis algorithms to expand vulnerability coverage.
• Research vulnerabilities and optimize detection rules in Rust.
• Integrate static analysis into AI-assisted workflows for security insights.
• Collaborate with researchers and product teams to advance security tech.

🎯 Requirements

• 5+ years in C/C++ and/or Rust.
• MS/PhD in CS, SE, PL, or equivalent.
• Strong Linux/UNIX experience.
• Deep knowledge of language theory, compiler design, ASTs.
• Experience with static, dataflow, taint, or symbolic analysis.
• Designing scalable, high-performance, cloud-native systems.
• AI-assisted development workflows with static analysis.
• Strong problem-solving and collaboration skills.

🎁 Benefits

• Equal opportunity employer; supports all applicants.