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
-
mathematical software to aid in our computations with cluster algebras. Some programming familiarity and experience with mathematical software like Sage or Mathematica or even familiarity with functional
-
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
-
systems Experience with state-of-the-art proteomic workflows, including MS acquisition (e.g. DDA, DIA, PRM) and data analysis with dedicated software tools. Computer literacy with at least basic programming
-
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
-
of scientists from different domains and software developers A creative environment, with an open-minded team (local and across Germany) with heterogeneous backgrounds and expertise Ideal conditions for balancing
-
of DESPEC experiments at GSI within FAIR Phase-0Adaptation of software tools for data processing and analysisPresentation of results at international conferences and workshopsPublication of scientific
-
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
-
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