Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
- Computer Science
- Biology
- Medical Sciences
- Engineering
- Economics
- Science
- Chemistry
- Psychology
- Business
- Materials Science
- Mathematics
- Earth Sciences
- Electrical Engineering
- Physics
- Social Sciences
- Arts and Literature
- Environment
- Philosophy
- Education
- Humanities
- Law
- Linguistics
- Statistics
- 13 more »
- « less
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
We are seeking to recruit a motivated postdoctoral researcher in Verification and Game Theory. You will enjoy developing algorithms, lower bounds, and possibly proof-of-concept implementations
-
Framework Programme? Horizon 2020 Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in automated program verification and/or software
-
We are seeking to recruit a motivated postdoctoral researcher in Verification and Game Theory. You will enjoy developing algorithms, lower bounds, and possibly proof-of-concept implementations
-
computer science. An important application of game theory in computer science and, more recently, in AI, concerns formal-system verification. In particular, game theory has become a powerful tool for the
-
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
-
and daytime phone number All positions are security-sensitive. Applicants are subject to a criminal history investigation, and employment is contingent upon the institution’s verification of credentials
-
interpretability, explainability, and verification methods with an emphasis on white box methods and control techniques using causality. The post holder will work on projects that bridge technical AI capabilities
-
speech recognition, speech synthesis, speaker verification, voice conversion, and machine learning. Responsibilities: Develop and implement algorithms for real-time speech anonymization. Conduct research
-
employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including the completion of the criminal history check. Equal