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.

Fall / Winter Intern, Formal Methods for Connected Cars

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

Job Description

Fall / Winter Intern, Formal Methods of Connected Cars

Job Summary:

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. 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 objective of the internship position, Formal Methods for Connected Cars, provides the intern with opportunities for performing research and development tasks on methodologies for designing safe connected vehicles using formal system modeling and verification techniques. In particular, the 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 and receive support / feedback from Toyota ITC along the way.


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 PhD/Masters program in computer science or electrical engineering,

  • Experience in formal methods, including formal modeling languages and verification techniques is desired (e.g., model checking, 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.

  • Excellent communication skills and a proven ability to deliver on challenging software development tasks.

Administrative Details:

  • Part-time (up to 6 months) or full-time (up to 3 months) internship starting in the fall 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 (optional)

About Us:

Our mission is changing the experience of mobility, by providing expanded options built on innovative research and technology solutions.  Our work utilizes the resources of vehicles, infrastructure and emergent technologies to provide tangible benefits to the public by enabling stress-free mobility of people and goods and delivering differentiated experiences through deep personalization.  Our current areas of interest include future vehicular networks, in-vehicle software and system architecture, vehicle-to-vehicle communication technology, and intelligent computing technology including artificial intelligence and machine learning.