Senior/Staff Software Systems Engineer
Design and implement formal methods, tools, and processes to verify safety-critical software for autonomous vehicles. Requires 7+ years experience, advanced degree, and strong background in formal verification, Python, and C++.
Responsibilities
- Develop and employ formal languages and models to describe intended software/system behaviors.
- Leverage third-party or build in-house tools to generate formal design and validation tests.
- Implement and integrate tools to verify that software/systems behave as intended.
- Integrate analysis and verification into existing processes, workflows, tools, and other infrastructure.
- Lead various systems engineering activities that are essential for a successful launch of safety-critical software on a self-driving vehicle.
Requirements
- Advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields and 7+ years of experience.
- Strong problem-solving, leadership, and mentoring skills in a fast-paced, safety-focused environment.
- Strong formal methods background with good understanding of logic, formal languages, automata theory, and model checking.
- Experience applying modeling and analysis techniques to software systems.
- Strong programming skills in Python and C++ in real-time safety-critical applications and programming language fundamentals, object-oriented programming, memory management, performance, etc.
Nice-to-Haves
- Contributed to formal methods research and/or implementations.
- Shipped software products to market in production automobiles, aircraft, spacecraft, or other systems that require safety-critical software in embedded hardware.
- Experience with standards such as DO178, ISO26262, SPICE or ASPICE, ISO12207, IEC61508, EN50128, etc.
Senior Application Security Engineer
Senior Application Security Engineer focused on finding vulnerabilities, performing penetration testing, and building security tooling across Brex's platform. Requires 5+ years in application security with strong Python and AI workflow knowledge.
Senior Application Security Engineer
Senior individual contributor responsible for strengthening Apollo's secure software development lifecycle, performing application security reviews, threat modeling, vulnerability management, and AI security for product, platform, and AI-powered features.
Sr. Engineering Manager, Application Security
Senior Engineering Manager leading Application Security squad to build secure software by default through threat modeling, design reviews, vulnerability management, and developer tooling. Requires hands-on team leadership and expertise across the AppSec stack.