[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.
