Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff
-
11.04.2025, Wissenschaftliches Personal The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD/Postdoc position in the area of
-
the areas of ‘Process Sensors and Systems Engineering’, ‘Material Analytics’ and ‘Computational Methods’. With our expertise in data science, modelling and systems engineering, we develop tailor-made
-
. This includes defining novel programming methods and compiler infrastructures to deploy reactive applications that execute close or at sensing nodes in cyber-physical systems (CPS). We built on prior work on MLIR
-
electronic systems are programmed. This includes defining novel programming methods and compiler infrastructures to deploy reactive applications that execute close or at sensing nodes in cyber-physical systems
-
Joint degree / double degree programme No Description/content Networks, computers, sensors, and actuators are increasingly integrated into cyber-physical systems; software systems that interact with
-
Quality«, one aspect of your tasks includes the conceptualization of solution approaches to transfer novel technologies into the industry. Within the scope of your thesis, you will investigate how a cyber
-
Description In the research group Dependable and Autonomous Cyber-physical Systems (DACS) on Institute for Software and Systems Engineering (ISSE) at Clausthal University of Technology has
-
to be addressed. The National Research Center for Applied Cybersecurity ATHENE is a research institution of the Fraunhofer Society, with the participation of the Fraunhofer Institutes SIT and IGD as