Senior Systems Engineer, Safety-Critical Software Modeling

Zoox; Foster City (CA); On-site; USD 208,000 - 300,000; Full time

Benefits offered by this job

Health insurance

Paid time off

Stock Appreciation Rights

Job summary

Zoox in Foster City is actively seeking a seasoned Software Systems Engineer for their team focused on safety-critical software development. This role encompasses designing methodologies and processes that will ensure top-tier performance for autonomous vehicles. The ideal candidate will have an advanced degree combined with extensive experience in safety-critical systems.

The compensation ranges from $208,000 to $300,000, along with a comprehensive benefits package including health insurance and stock options.

Qualifications

• 7+ years of experience in software systems engineering.
• Experience with safety-critical software in embedded hardware.
• Strong understanding of logic, formal languages, automata theory, and model checking.

Responsibilities

• Design and implement methodologies for safety-critical software.
• Develop formal languages to describe software/system behaviors.
• Lead systems engineering activities essential for safety-critical software launch.

Skills

Problem-solving

Leadership

Mentoring

Formal methods background

Programming in Python

Programming in C++

Education

Advanced degree (MS or PhD) in relevant fields

Job description

Zoox in Foster City is actively seeking a seasoned Software Systems Engineer for their team focused on safety-critical software development. This role encompasses designing methodologies and processes that will ensure top-tier performance for autonomous vehicles. The ideal candidate will have an advanced degree combined with extensive experience in safety-critical systems.

The compensation ranges from $208,000 to $300,000, along with a comprehensive benefits package including health insurance and stock options.