Zoox

Software Systems Engineer – Software Health and Complexity

Zoox

full-time

Posted on:

Location Type: Hybrid

Location: Foster City • California • 🇺🇸 United States

Visit company website
✨ AI Apply
Apply

Salary

💰 $185,000 - $260,000 per year

Job Level

Junior

Tech Stack

Python

About the role

  • 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 1+ year 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.
Benefits
  • paid time off (e.g. sick leave, vacation, bereavement)
  • unpaid time off
  • Zoox Stock Appreciation Rights
  • Amazon RSUs
  • health insurance
  • long-term care insurance
  • long-term and short-term disability insurance
  • life insurance

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard skills
formal languagesmodel checkingautomata theoryprogramming in Pythonprogramming in C++object-oriented programmingmemory managementperformance analysismodeling techniquesanalysis techniques
Soft skills
problem-solvingleadershipmentoringcommunicationteam collaborationadaptabilitycritical thinkingtime managementattention to detaildecision making