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.

Researcher, Formal Analysis for Secure Connected Cars

Systems & Software Division | Mountain View, CA | Full Time

Job Description

Researcher, Formal Analysis for Secure Connected Cars


Connected cars are emerging as a ground for cutting-edge technologies in the automotive industry. Communication between cars, edge, and cloud computing has great potential for sophisticated new automotive systems, e.g., advanced information sharing, coordinated autonomous systems, highly distributed control systems, etc, Although the connectivity broadens the horizon of automotive systems, at the same time, it also brings security concerns.

With the advent of this new technology trend, a high demand for safety and security assurance of software-centric connected systems arises. Toyota InfoTechnology Center, Systems and Software Research Division is conducting research projects including high-assurance connected software architecture, safe and secure connected software platform, system assurance, and certification.

Toyota InfoTechnology Center, Systems and Software Research Team is seeking talented candidates for a researcher involving full-time research on high-assurance connected software architecture.


Primary Responsibilities:

Research on High-Assurance Connected Software Architecture including:

  • Contract-based architecture, contract-based design, security specification language; 
  • Automatic formal verification, security threat analysis;
  • Runtime verification, runtime monitoring, and intrusion detection;
  • Network security, software security, system integration of security components.


  • Ph.D. in Computer Science, Electrical Engineering, Computer Engineering, or related field.


  • 3+ years of research experience in formal verification and/or system security.
  • Proficiency in formal verification tools, e.g., theorem prover tools, model checking tools, etc.  
  • Knowledge of computer systems, embedded systems, and systems and software engineering.
  • Knowledge of programming and scripting languages, e.g., Java, Python, etc.
  • Knowledge of system security, e.g., security threat analysis, intrusion detection, and authentication.
  • Research prototype development skills.
  • Ability to engage in general research activities, e.g.,  planning, time management, and team building.
  • Ability to work independently as well as within a highly motivated team environment.
  • Excellent interpersonal and communication skills.


To apply for this position, please submit your information at the company website with the following materials:

  • A cover letter explaining why you would like to work with us
  • Latest Resume/CV
  • Any other information that you think we should consider when reviewing your application

About Toyota ITC:

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 around the globe. ITC’s current areas of interest include future vehicular network, in-vehicle software and system architecture, vehicle-to-vehicle communication technology and intelligent computing technology.