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
-
Max Planck Institute for Mathematics in the Sciences | Leipzig, Sachsen | Germany | about 23 hours ago
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
-
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 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
-
, structure theory of Kac-Moody algebras, geometric/combinatorial representation theory, quiver representation theory. • Some experience with SageMath, polymake or other related mathematical software
-
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