Sort by
Refine Your Search
-
candidates should submit the following documents (preferably in a single PDF) to Prof. Dr. Enkelejda Kasneci (enkelejda.kasneci@tum.de ) by 28 February: Curriculum Vitae. Motivation letter and a short expose
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
-
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
-
your application. We value personality and passion as much as your CV. Submit your application: https://pandalabs.typeform.com/to/izMNqfQT | The form is also where you will upload your CV and the video
-
Payments made by the DAAD: Monthly scholarship payments of 700 euros Health insurance Two-month language course in China (if necessary) Two-day pre-departure training Monthly research allowance
-
from the Dresden University Sports Center, Job-related further training opportunities and language courses, Company restaurant with a variety of breakfast and lunch dishes. a future-oriented environment
-
parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but also on
-
Max Planck Institute for Multidisciplinary Sciences, Göttingen | Gottingen, Niedersachsen | Germany | 2 months ago
Competitive research in an inspiring, world-class environment A wide range of offers to help you balance work and family life Further training opportunities and free in-house language courses The group language
-
facilities Competitive research in an inspiring, world-class environment A wide range of offers to help you balance work and family life Further training opportunities and free in-house language courses
-
compute facilities Competitive research in an inspiring, world-class environment A wide range of offers to help you balance work and family life Further training opportunities and free in-house language