Postdoctoral positions at the University of Pennsylvania

POSTDOCTORAL RESEARCH POSITIONS in Secure Control Systems and Secure Code Synthesis

at PRECISE Center
School of Engineering and Applied Science
University of Pennsylvania
http://precise.seas.upenn.edu/

PRECISE center at the University of Pennsylvania is seeking applications
for a postdoctoral researcher position to work on control system
security and control program synthesis. The project involves the
development of security-aware control systems for ground vehicles and
their implementation in software in a provably correct way
(http://rtg.cis.upenn.edu/HACMS/).

Researchers with an interest and experience in any related areas are
welcome to apply. Particular areas of interest include one or more of
the following:

- Attack models for control systems and resilience against attacks
- Formal methods for software synthesis and verification
- Controller synthesis and code generation for hybrid systems
- Synthesis of control software and proofs to guarantee the correctness
of the system
- Integration with ROS and certified operating system services

Candidates with strong theoretical background or proven system-building
skills will be considered. A combination of both is preferred.

Positions are offered for the initial period of one year, with an option
to renew for subsequent years. As soon as possible starting date is
strongly desired. A competitive salary will be offered.

We will also consider applications to support sabbatical leaves at Penn
for researchers in this area.

Please send a complete CV including research statement to Insup Lee
(lee@cis.upenn.edu).