Education

The terms denote educational areas that are part of the CPS technology.
forum

Visible to the public Young Faculty Award (YFA) Program

Young Faculty Award (YFA) Program

Solicitation Number: DARPA-RA-19-01
Agency: Other Defense Agencies
Office: Defense Advanced Research Projects Agency
Location: Contracts Management Office

news

Visible to the public NSA-approved cybersecurity law and policy course now available online

NSA-approved cybersecurity law and policy course now available online

Cyber Scoop

Shannon Vavra

August 27th, 2019

Anyone who is interested in cybersecurity law and policy can now take an online course that was partly shaped by National Security Agency.

group

Visible to the public 2016 NSF Cyber-Physical Systems Principal Investigators' Meeting

License: 
Creative Commons 2.5
2016 NSF Cyber-Physical Systems Principal Investigators' Meeting
event

Visible to the public  2013 CPS PI Meeting
Oct 17, 2013 7:00 am - Oct 18, 2013 5:30 pm EDT

The fourth annual CPS PI Meeting will be held Thursday and Friday, October 17-18, 2013 at the Crystal Gateway Marriott Hotel in the Crystal City section of Arlington, Virginia near the Crystal City Metro and Reagan Washington National Airport (DCA).

forum

Visible to the public 2023 MITRE Embedded Capture the Flag (eCTF) Competition

Registration for the 2023 MITRE Embedded Capture the Flag (eCTF) Competition is now open at https://forms.office.com/g/rLaXwSBpdk! The competition will run over the spring semester from from January 18th through April 19th with an award ceremony on April 26th.

forum

Visible to the public PhD Student or Postdoc Position in Alexander von Humboldt Professor group

The group of Andre Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT is recruiting a PhD student or postdoc (TVL E13, full-time). Our research develops the logical foundations for cyber-physical systems and practical theorem proving tools for analyzing and correctly building such systems, including the theorem prover KeYmaera X, verified runtime monitoring ModelPlex, verified compilation, and verified safe machine learning techniques.