Sort by
Refine Your Search
-
or experience in international research cooperation, experience in realization or applying for research projects. ADDITIONAL REQUIREMENTS: knowledge of programming languages and statistical software used in
-
or journals, e.g. CORE A* ranked conferences or top journals in the Artificial Intelligence and/or Software Engineering domains, may submit an application. In case of doctorate degrees awarded by a foreign
-
language theory, and software verification and validation Robotics and Autonomous Systems such as the development of intelligent robotic systems, autonomous vehicles, and human-robot interaction technologies
-
encouraged to adopt a creative approach to problem-solving, exploring various deep learning techniques. Verification of these models and algorithms will be conducted using benchmark datasets and real-world
-
communication skills. In-depth knowledge in using standard genomics/proteomics/molecular biology databases and software tools to analyze and interpret whole proteomic and large genomic data sets. Any experience 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