Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
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
-
research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) postdoc positions of 1-3 years. The starting date is December 1
-
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
-
simulation, specifically designed for DC networks, considering widely used software in academia and system operators, such as Matlab, PSCAD, PSSE, and DIgSILENT PowerFactory - Contribute to the writing
-
of the mouse colonies (genotyping and colony management using a dedicated software system). •Ensure quality and reproducibility of experimental results.•Keep up-to-date records of experimental works. •Meet
-
Atlantic researchers. Support the shared work of the Libraries’ Digital Initiatives and Scholarship Unit including the use of Scopus/SciVal and other research intense databases and software. Liaise with
-
with large-scale data analytics frameworks (Hadoop, Spark, Flink, etc.) is desired - Interest in the development of software systems, very good knowledge and skills in programming with standard
-
XRD, Raman, IR, TEM, XPS. • Experience (also for setup design) using CAD software (e.g., Solidwork), Python, MATLAB, or similar. The following papers are a good starting point to get familiar with
-
relevance ▪ Software: experience working with MATLAB, C++, Python or similar ▪ Goal-oriented, independent and structured work style Our offer ▪ Current research topic in a challenging international working