Logo of Huzzle

Home

Matches

Explore

Manage

Software Health and Complexity Internship/Co-Op

image

Zoox

Nov 24, 2023

Applications are closed

  • Internship
    Full-time
    Off-cycle Internship
  • Software Engineering
  • $6.5K - $9.5K
  • San Francisco

Requirements

  • Pursuing a M.S., Ph.D. in Computer Science, Electrical Engineering, Computer Engineering or related field
  • Proficiency in Linux, C/C++, and Python (including libraries such as pandas, NumPy, etc.)
  • Understanding of program verification techniques (e.g abstract interpretation, model checking, program slicing, and symbolic execution)
  • Ability to apply formal modeling languages and tools to describe abstract software code base & identify violations of formal properties, problems, bugs and sources of non-determinism
  • Passion for implementing, applying and creating tools to automatically extract structural and behavioral models from source code
  • Bonus/Nice-To-Have: Build systems (e.g Bazel), working experience with formal methods, formal languages, and temporal logics

Responsibilities

  • As our intern in the Software Health and Complexity Team, you will help us extract relevant behaviors and properties from software systems and develop abstractions and formal models that we can use for analysis, monitoring, and testing. You will get a behind the scenes look of what makes advanced autonomous driving machines work in a way you can rarely experience anywhere else - all the while working with and being mentored by world class talented engineers.
image

Zoox

We’re reinventing personal transportation — making the future safer, cleaner, and more enjoyable for everyone.

Automotive
Industry
1001-5000
Employees
2014
Founded Year

Mission & Purpose

Zoox is transforming mobility-as-a-service by developing a fully autonomous, purpose-built fleet designed for AI to drive and humans to enjoy.