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/Staff Software Engineer - Android Mobile App
Software Engineer - Fail Operational Planning
Senior Staff Software Engineer - Rider Experience
Materials Engineering Test Engineer Intern
Test Bench and Data Analysis Engineer Intern
Full Stack Software Engineer, Rider Support Tools Internship
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