Software Systems Engineer (Safety-Critical Software)

TL;DR

Software Systems Engineer (Safety-Critical Software): Design and implement methodologies, tools, and processes for safety-critical software in autonomous vehicles with an accent on formal methods, software verification, and real-time safety-critical applications. Focus on developing formal languages, integrating verification tools, and leading systems engineering activities for self-driving vehicle software launch.

Location: Hybrid in Foster City, CA, United States with work onsite and remote flexibility.

Salary: $185,000 - $260,000 per year (base salary only).

Company

hirify.global develops fully autonomous vehicle fleets and ecosystems combining robotics, machine learning, and design to revolutionize urban mobility.

What you will do

• Develop and apply formal languages and models to describe software/system behaviors.
• Build or leverage tools for formal design and validation testing of safety-critical software.
• Implement and integrate verification tools into existing workflows and infrastructure.
• Lead systems engineering activities essential for launching safety-critical software on autonomous vehicles.
• Collaborate with software engineers across AI autonomy, RTOS, and middleware components.

Requirements

• Must have an advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields with 1+ year experience.
• Strong formal methods background including logic, formal languages, automata theory, and model checking.
• Proficient programming skills in Python and C++ for real-time safety-critical applications.
• Experience applying modeling and analysis techniques to software systems.
• Strong problem-solving, leadership, and mentoring skills in a safety-focused environment.

Nice to have

• Contributions to formal methods research or implementations.
• Experience shipping safety-critical software in automobiles, aircraft, spacecraft, or embedded hardware.
• Familiarity with safety standards such as DO178, ISO26262, SPICE/ASPICE, ISO12207, IEC61508, EN50128.

Culture & Benefits

• Comprehensive benefits including paid time off, health insurance, long-term care, disability, and life insurance.
• Stock options including Amazon RSUs and hirify.global Stock Appreciation Rights.
• Supportive environment for diverse perspectives and innovation.
• Accommodations available for application and interview process.