Your browser cookies must be enabled in order to apply for this job. Please contact if you need further instruction on how to do that.

Winter Intern, Formal Methods for Intelligent Connected Cars

Systems & Software Division | Mountain View, CA | Full Time, Part Time, and Internship

Job Description

Winter Intern, Formal Methods for Intelligent Connected Cars

Job Summary:

Communication between cars, edge, and cloud computing is expected to have a great impact on the next generation architecture of car systems that opens a new era of mobility. In other words, connected cars are emerging as a new foundation of evolution in the automotive industry.

This internship position, Formal Methods for Intelligent Connected Cars, involves performing original research on methodologies for designing safe connected vehicles using contracts, a technique for modular specification of component behaviors. In particular, the intern will survey and develop tools in formal modeling and verification to analyze the architecture of connected car systems. Toyota InfoTechnology Center, Systems and Software Research Team is looking for highly self-motivated Ph.D. students in Computer Science or related fields to join us in this project.


This project will provide the intern with unique opportunities to perform one or more of the following:                 

  • Develop a specification language for expressing various types of requirements for connected cars, including as security, safety, and performance,

  • Develop an automated, scalable verification technique to analyze the behavior of software systems for connected cars,

  • Develop research prototypes and apply them to realistic scenarios in connected vehicle interactions,

  • Collaborate with researchers on publications at top conferences/journals.


Currently pursuing a MS or PhD in computer science or electrical engineering.

Required Skills:

  • Experience in formal methods, including formal modeling languages and verification tools (e.g., model checkers, constraint solving, theorem proving)

  • Strong background in logic and mathematics.

  • Excellent programming skills (C++, C#, Java), and ability to build rapid prototypes.

  • Familiarity with cyber-security, computer networks, software architecture, and cloud computing a plus.

  • Demonstrated ability to work independently as well as within a highly motivated team environment.

Administrative Details:

  • Part-time (up to 6 months) or full-time (up to 3 months) internship starting in January 2018 at Toyota ITC's Mountain View, CA office.

  • Applicants *must* already have the ability/authorization to work in the USA (Toyota ITC will NOT provide VISA support).

  • To apply for an intern position, please submit your application along with the following materials:

    • Resume/CV

    • Cover letter explaining your interest in the job and desired time frame for the internship

About Us:

Since 2001, Toyota InfoTechnology Center USA, Inc. has specialized in R&D and business research with a focus on cutting-edge information technologies to advance the driving experience of Toyota automobiles and safety of the automotive industry on the globe. ITC’s current areas of interest include future vehicular network,in-vehicle software and system architecture, vehicle-to-vehicle communication technology, intelligent computing technology including artificial intelligence and machine learning.