-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
, simulation, and verification methods and software for emerging computing technologies. Our focus on interdisciplinary partnerships and networks will enable you to meet many interesting people (at places all
-
Test and Verification of designs created using Machine Learning methods Utilization of feedback loops to improve design choices Creation of an automated pipeline and frameworks for data generation and
-
develop methods and software tools that aid the design of microfluidic devices (also known as Labs-on-a-Chip). While these devices are mainly designed manually thus far, we investigate methods
-
the future, we are aiming to extend our activities into one or more of the following directions: Methods and software tools for the design and validation of ETCS systems Modeling search problems with realistic
-
explore new topics while playing nice in a team. Your main task will be the development, conceptualization, and eventual implementation of new design automation methods and software for your field, e.g