32 software-testing-short-course Postdoctoral positions at Technical University of Munich
Sort by
Refine Your Search
-
well as the needed system software needed to extract a maximum of efficiency form the respective architectures. The latter includes work on programming mod-els, operating systems, scheduling, tools, I/O as
-
nanoparticle formulations, surface modification of nanoparticles, testing wireless power transfer, and/or integration of nanoparticles into chip-scale bioelectronic devices. You are encouraged to bring
-
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
-
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
-
, geometric/combinatorial representation theory, quiver representation theory. • Some experience with SageMath, polymake or other related mathematical software. • Proficiency in English, both written and spoken
-
project team on “Participatory Algorithmic Justice: A multi-sited ethnography to advance algorithmic justice through participatory design” (PARTIALJUSTICE) to examine issues of justice and participation in
-
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
-
medical professionals to translate research into real-world applications. Mentor graduate students, teach related courses, and contribute to grant writing. Requirements A PhD or equivalent in a technical
-
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
-
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