Postoctoral positions in learning-enabled CPS at University of Pennsylvania
Postdoctoral Research Positions in Assured Autonomy at PRECISE Center
School of Engineering and Applied Science, University of Pennsylvania
http://precise.seas.upenn.edu/
The PRECISE center at University of Pennsylvania is seeking applications for postdoctoral researchers to work on the project, entitled "Integrated Static and Dynamic Approaches to High-Assurance for Learning-Enabled Cyber-Physical Systems (LE-CPS)," funded by the DARPA Assured Autonomy Program (https://www.darpa.mil/program/assured-autonomy).
The project is aimed to develop the foundations and tools for the rigorous design of high-assurance LE-CPS in a systematic way.
Researchers with an interest and experience in machine learning, adversarial learning, formal methods, hybrid and control systems, assurance cases, confidence arguments, run-time verification, and tool development are encouraged to apply. We are particularly seeking candidates whose interests are in more than one of the mentioned areas.
They are expected to work with the following project team members:
- Rajeev Alur (alur@cis.upenn.edu)
- Nicola Bezzo (nb6be@virginia.edu)
- Daniel Lee (ddlee@seas.upenn.edu)
- Insup Lee (lee@cis.upenn.edu)
- Manfred Morari (morari@seas.upenn.edu)
- George Pappas (pappas@seas.upenn.edu)
- Oleg Sokolsky (sokolsky@is.upenn.edu)
- James Weimer (weimerj@seas.upenn.edu)
Positions are offered for the initial period of one year, with an option to renew for subsequent years.
Positions will be available until qualified candidates found. A competitive salary will be offered.
Please email a complete CV including a research statement to:
- Insup Lee (lee@cis.upenn.edu)