[TYPES/announce] Formal methods internship at Toyota ITC

[Eunsuk Kang]

Hello,

Please forward this e-mail to PhD/Masters students who may be  
interested in doing a summer internship applying formal methods to  
intelligent cars.

Regards,
Eunsuk

==============================================

Summer Intern, Formal Methods for Connected Cars

Application link:

https://careers.jobscore.com/careers/toyotaitc/jobs/summer-intern-formal-methods-for-connected-cars-b-YkXAcTyr6lG5dG1ZS6tF

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 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.

OBJECTIVES
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

QUALIFICATIONS
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.
ADMINISTRATIVE DETAILS
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.

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.