38 software-testing-short-course Postdoctoral positions at Technical University of Munich
Sort by
Refine Your Search
-
that algorithmic 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
-
CV and a brief track record (publications, projects, software, funding experience if applicable) to florian.hinterwimmer@tum.de . We appreciate your interest in the Technical University of Munich and
-
for livestock systems in East Africa, and in the subtropics in Latin-America. The research programme will examine productivity of grasslands, nutrient stocks and cycling and their relationship to biodiversity. We
-
brief track record (e.g., publications, projects, software) to florian.hinterwimmer@tum.de . Severely disabled applicants will be given preferential consideration if equally qualified. Application costs
-
the following documents (preferably in a single PDF) to Prof. Dr. Enkelejda Kasneci by 10 October: Curriculum Vitae Motivation letter (max. 1 page) Transcript of records English proficiency test results
-
-driven short stack test rig for the experimental investigation of the influence of pressure on r-SOC degradation processes. You are welcome to use the freedom of the project to set your own priorities
-
the subtropics in Latin-America. The research programme will examine productivity of grasslands, nutrient stocks and cycling and their relationship to biodiversity. We conduct experiments in the field
-
representation theory. • Some experience with SageMath, polymake or other related mathematical software. • Proficiency in English, both written and spoken. Knowledge of German is not required. In addition
-
small quantum sensors to perform NMR and EPR spectroscopy on nanometer to micrometer small samples, reveal the inner working of Lithium batteries and acquire three-dimensional pictures of single proteins
-
to the Technical University of Munich (TUM). Please view our privacy policy on collecting and processing personal data in the course of the application process pursuant to Art. 13 of the General Data Protection