In this role, you will:
- Develop and employ formal languages and models to describe intended software/system behaviors.
- 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.
Qualifications
- Advanced degree in computer science, electrical engineering, robotics, aerospace, or related fields.
- 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++.
- Deep knowledge of programming language fundamentals, object-oriented programming, memory management, performance, etc.
Bonus Qualifications
- 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.
- Conducted and/or participated in safety audits, defended choices and methods used, and prepared compliance reports
- Experience with standards such as DO178, ISO26262, SPICE or ASPICE, ISO12207, IEC61508, EN50128, etc.
Other Jobs from Zoox
Senior ML Validation Data Scientist - Perception
Senior Technical Product Manager, Applied AI
Frontend Engineer Intern
Senior Engineering Manager, Behavior Foundation Model
Staff Technical Product Manager, AI
Autonomy Systems Test Engineer
There are more than 50,000 engineering jobs:
Subscribe to membership and unlock all jobs
Engineering Jobs
60,000+ jobs from 4,500+ well-funded companies
Updated Daily
New jobs are added every day as companies post them
Refined Search
Use filters like skill, location, etc to narrow results
Become a member
🥳🥳🥳 401 happy customers and counting...
Overall, over 80% of customers chose to renew their subscriptions after the initial sign-up.
To try it out
For active job seekers
For those who are passive looking
Cancel anytime
Frequently Asked Questions
- We prioritize job seekers as our customers, unlike bigger job sites, by charging a small fee to provide them with curated access to the best companies and up-to-date jobs. This focus allows us to deliver a more personalized and effective job search experience.
- We've got about 70,000 jobs from 5,000 vetted companies. No fake or sleazy jobs here!
- We aggregate jobs from 5,000+ companies' career pages, so you can be sure that you're getting the most up-to-date and relevant jobs.
- We're the only job board *for* software engineers, *by* software engineers… in case you needed a reminder! We add thousands of new jobs daily and offer powerful search filters just for you. 🛠️
- Every single hour! We add 2,000-3,000 new jobs daily, so you'll always have fresh opportunities. 🚀
- Typically, job searches take 3-6 months. EchoJobs helps you spend more time applying and less time hunting. 🎯
- Check daily! We're always updating with new jobs. Set up job alerts for even quicker access. 📅
What Fellow Engineers Say