33 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
-
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
-
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
-
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
-
test results (if applicable). • Contact information for 2-3 references. Shortlisted candidates will be invited for an interview. We value diversity, equity, and inclusion and encourage candidates from
-
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
-
, you provide personal data 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
-
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