Software Engineer - Software Analysis and Verification

  • Zoox
  • Foster City, CA
  • Feb 07, 2020
Full Time Engineering: Software

Job Description

Zoox is looking for an experienced developer or researcher to join our Software Engineering team. The position comes with a high degree of independence and the opportunity to help define our software verification roadmap.  You will leverage your skills to build systems to analyze our large and sophisticated code base for issues. Your work will be highly visible and will contribute to our overall software quality and safety, both of which are of foundational importance to us.

Responsibilities

  • Develop software systems which analyze our C++ code base to detect issues, vulnerabilities, and bugs
  • Deploy automated analysis at scale for our large and diverse code base
  • Verify state of the art AI software running on a high performance compute platform

Qualifications

  • BS / MS in Computer Science or similar degree with 5+ years of relevant experience
  • Strong background in static analysis and compilers
  • Deep understanding of program analysis libraries and tools
  • Proven ability to translate analysis findings into software quality improvements in a real-world code base

Bonus Qualifications

  • Experience with coding standards such as ISO26262
  • Experience with Clang and the LLVM ecosystem
  • Fuzzing and symbolic execution experience
  • Experience building and operating systems at scale
  • Formal methods experience

ABOUT ZOOX
Zoox is developing the first ground-up, fully autonomous vehicle fleet and the supporting ecosystem required to bring this technology to market. Sitting at the intersection of artificial intelligence, robotics, and design, Zoox aims to provide the next generation of mobility-as-a-service in urban environments. We’re looking for top talent that shares our passion and wants to be part of a fast-moving and highly execution-oriented team.
Follow us on LinkedIn
A Final Note:You do not need to match every listed expectation to apply for this position. Here at Zoox, we know that diverse perspectives foster the innovation we need to be successful, and we are committed to building a team that encompasses a variety of backgrounds, experiences, and skills.

Impact areas

Transportation  

Climate solutions

Electric Vehicles,   Autonomous Vehicles  

Experience level

Entry Level,   Mid Level  

Size

201-500 employees  

Organization type

Company  

Role Type

Technical

Will sponsor Visa

No