Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Technical University of Munich
- Universidade Católica Portuguesa - Porto
- University of Kansas
- AGH University of Krakow
- AI4I
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- IMT Mines Ales
- Idiap Research Institute
- Jagiellonian University
- Kennesaw State University
- Lehigh University
- Maj Institute of Pharmacology Polish Academy of Sciences
- Poznan University of Technology
- The California State University
- The John Paul II Catholic University of Lublin
- The University of Iowa
- University of Agriculture in Krakow
- University of Silesia in Katowice
- 9 more »
- « less
-
Field
-
before its withdrawal. Selection process The course of the competition procedure The first stage of the competition process involves the formal verification of the documents submitted. Offers that pass
-
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
-
Learning Formal Methods Dynamical Systems Control Theory Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing-matthias-althoff
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 3 months ago
profile to the activity to be developed. 8. Formalization of applications: 8.1 Applications are formalized by means of an application form, made available at https://ist-id.pt/recursos-humanos
-
-employment drug screening and/or verification of academic credentials. https://www.usg.edu/hr/assets/hr/hrap_manual/HRAP_Background_Investigation_Employment.pdf
-
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