Senior Software Systems Engineer (Embedded IoT Dev)

TL;DR

Senior Software Systems Engineer (Embedded IoT Dev): Designing and implementing methodologies, tools, and processes for safety-critical software to revolutionize transportation. Focus on formal languages and models to describe intended software/system behaviors, leveraging tools to generate formal design and validation tests, and integrating analysis and verification into existing processes.

Location: Hybrid, Foster City, CA

Salary: $208,000 - $300,000 a year

Company

hirify.global is developing the first ground-up, fully autonomous vehicle fleet and the supporting ecosystem required to bring this technology to market.

What you will do

• 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 5+ 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 have

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

Culture & Benefits

• Comprehensive package of benefits, including paid time off (e.g. sick leave, vacation, bereavement), unpaid time off, hirify.global Stock Appreciation Rights, Amazon RSUs, health insurance, long-term care insurance, long-term and short-term disability insurance, and life insurance.