CPS Domains

The terms denote engineering domains that have high CPS content.
forum

Visible to the public PostDoc position: Application Specific Computing Systems and Hardware Architectures, RWTH Aachen University

RWTH Aachen University is Germany's top-ranked technical university with more than 40,000 students and is a member of the IDEA league. The Institute for Communication Technologies and Embedded Systems (ICE, http://www.ice.rwth-aachen.de), being part of the RWTH Department of Electrical and Computer Engineering, is headed by Prof. R. Leupers and Prof. G. Ascheid. ICE performs research and development in different areas of embedded system design technology, especially covering algorithms, architectures, and tools for communication systems, automotive, and industrial internet.

forum

Visible to the public SIES 2017 - Call for papers

CALL FOR REGULAR, SPECIAL SESSIONS, & WORK IN PROGRESS PAPERS
CALL FOR TUTORIALS & WORKSHOPS

12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)

June 7-9, 2017 | Toulouse, France | Web site: http://sies2017.org

Sponsors:
IEEE Council on Electronic Design Automation (requested) and ONERA, Toulouse Center

forum

Visible to the public RESEARCH POSITIONS in MEDICAL CYBER-PHYSICAL SYSTEMS at PRECISE Center School of Engineering and Applied Science University of P

RESEARCH POSITIONS in MEDICAL CYBER-PHYSICAL SYSTEMS at PRECISE Center School of Engineering and Applied Science University of Pennsylvania

http://precise.seas.upenn.edu/

forum

Visible to the public Positions in medical CPS at PRECISE Center

RESEARCH POSITIONS in MEDICAL CYBER-PHYSICAL SYSTEMS at PRECISE Center School of Engineering and Applied Science University of Pennsylvania

http://precise.seas.upenn.edu/

file

Visible to the public VeHICal: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems

Sanjit A. Seshia is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received an M.S. and Ph.D. in Computer Science from Carnegie Mellon University, and a B. Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay. His research interests are in dependable computing and computational logic, with a current focus on applying automated formal methods to problems in cyber-physical systems, computer security, electronic design automation, and synthetic biology. His Ph.D.