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.

Summer Intern, Formal Methods for Connected Cars

Systems & Software Division | Mountain View, CA | Internship

Job Description

Summer Intern, Formal Methods for Connected Cars


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 Connected Cars, involves performing research and development tasks on methodologies for designing safe connected vehicles using formal system modeling and verification techniques. In particular, intern will survey and develop tools and methods for specifying end-to-end vehicle requirements, decomposing high-level requirements into component specifications, and automatically verifying that a component satisfies its specification. Toyota InfoTechnology Center, Systems and Software Research Team is looking for highly self-motivated PhD/Master 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 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, if time permits                  


  • Currently pursuing a PhD program in computer science or electrical engineering,
  • Experience in formal methods, including formal modeling languages and verification techniques (e.g., model checking, constraint solving, theorem proving)
  • Strong background in formal 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.
  • Excellent communication skills and a proven ability to deliver on challenging software development tasks.


1. Part-time (up to 6 months) or full-time (up to 3 months) internship in the summer of 2018 at Toyota ITC's Mountain View, CA office.
2. 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:

  • CV/Resume
  • Cover letter explaining your interest in the job and desired time frame for the internship.


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.