Sort by
Refine Your Search
-
program generation and optimization Verification, testing and security of software systems Explainability of AI and of software engineering Software for distributed, highly-parallel AI systems Intelligent
-
European Organisation for Astronomical Research in the Southern Hemisphere | Garching an der Alz, Bayern | Germany | 22 days ago
). This instrumental project is directly aligned with the ongoing upgrade of the VLTI infrastructure, including the recent commissioning of GRAVITY+ (https://www.eso.org/public/news/eso2519/ ). The project addresses
-
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
-
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