Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
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
-
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
-
is expected, because large software toolboxes are used and further developed. The working language at the institute is English. Experience with targeted and optimized brain stimulation and with
-
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
-
Python, for processing and interpreting complex proteomics data Familiarity with proteomics software for data analysis, visualization, and management Experience with biological samples (e.g., FFPE, plasma
-
performing simulations with computational models of the Earth system on different levels of complexity scientific publication records appropriate for the experience level experience in scientific software
-
energy system optimization and control Engineering, Applied Mathematics or a comparable quantitative discipline Very good software development and data analysis skills Inquisitive and passionate about
-
performing simulations with computational models of the Earth system on different levels of complexity scientific publication records appropriate for the experience level experience in scientific software
-
in an area of safe machine learning and/or applications in healthcare Management of a team of PhD students, postdocs, and software developers Coordination of the implementation of research prototypes