Skip to content
ZooxZooxFoster City, CA

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++.

208k – 300k/yr
Hybrid7+ YOESecurity Engineering

About the role

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.

Skills

PythonC++Formal MethodsModel CheckingAutomata TheoryLogicRtosEmbedded SystemsSafety-Critical SoftwareIso 26262
Rula

Staff Software Engineer - Trust & Safety

RulaLos Angeles, CA

Staff-level engineer to found and lead a new Trust & Safety engineering team, architecting systems to detect fraud, billing anomalies, and credential abuse for a mental healthcare platform.

207k – 243k/yr
Remote8+ YOESecurity Engineering
NinjaTrader

Staff Security Engineer, Application Security

NinjaTraderChicago, IL

Staff Security Engineer owning application, API, and supply chain security domains. Hands-on role integrating security into engineering workflows via threat modeling, tooling (SAST/SCA/DAST), automation, and risk-based vulnerability management in cloud-native environments.

210k – 260k/yr
Hybrid7+ YOESecurity Engineering
Upside

Staff AppSec Engineer

UpsideWashington, DC

Staff AppSec Engineer owning end-to-end vulnerability identification and remediation. Partner with engineering teams on secure development practices, threat modeling, and AWS security architecture while leveraging AI tools.

210k – 230k/yr
Hybrid6+ YOESecurity Engineering
Crusoe

Staff Corporate Security Engineer

CrusoeSan Francisco, CA

Designs and implements Zero Trust, SASE, and identity-based security architectures to protect corporate networks, SaaS platforms, and AI systems. Requires 8+ years experience in SaaS security, IAM, DLP, and device trust.

210k – 255k/yr
On-site8+ YOESecurity Engineering
Upside

Staff Application Security Engineer

UpsideWashington, DC

Staff-level AppSec engineer building secure coding practices and vulnerability management for a commerce platform. Requires 6+ years in application security with deep AWS and Python experience.

210k – 230k/yr
Remote6+ YOESecurity Engineering