Announcement

forum

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

Submitted by Andre Platzer on Tue, 07/12/2022 - 3:33am

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.

event

Visible to the public  FM 2023
Mar 06, 2023 8:00 am - Mar 10, 2023 8:00 pm CET

Submitted by willirn1 on Thu, 04/28/2022 - 10:06am

25th International Symposium on Formal Methods

University of Lübeck, Germany
Main conference: March, 7th – 9th, 2023
Workshops, Tutorial, etc. March 6th, 10th 2023

FM 2023 is the 25th international symposium in a series organized by Formal Methods Europe (FME). The topics covered include the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems.

Vision for the Event

forum

Visible to the public Faculty Positions in: CPS, Human-CPS and IOT Applications

Submitted by rgupta on Tue, 12/14/2021 - 2:43am

Multiple tenure-track positions are available in the areas of Data Systems and CPS at UC San Diego's Halicioglu Data Science Institute (HDSI).

 

While the search is open to all areas of Data Science, we are particularly interested in the following areas of research:

forum

Visible to the public Assistant Professor in Digital Hardware Electronics at University of California Santa Cruz

Submitted by Ricardo Sanfelice on Tue, 12/07/2021 - 8:53pm

Position title: Assistant Professor, tenure-track

Salary range: Commensurate with qualifications and experience; academic year (nine-month basis).

Anticipated start: July 1, 2022, with the academic year beginning in September 2022. Degree requirements must be met by June 30, 2023 for employment effective July 1, 2023 and beyond.

APPLICATION WINDOW

Open date: October 25th, 2021

forum

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

Submitted by benjanis on Wed, 09/29/2021 - 12:46pm

Registration for the 2022 MITRE Embedded Capture the Flag (eCTF) Competition is now open at https://mitrecyberacademy.org/competitions/embedded/! The competition will run over the spring semester from mid-January through mid-April with a mid-April virtual award ceremony (exact dates TBA).