Sort by
Refine Your Search
-
Employer
-
Field
-
Max Planck Institute for Multidisciplinary Sciences, Göttingen | Gottingen, Niedersachsen | Germany | 3 months ago
. Helmut Grubmüller) is inviting applications for a PhD Student or Postdoc (f/m/d) for the project Theory and algorithms for structure determination from single molecule x-ray scattering images. Project
-
classical topics in numerical analysis, such as the analysis of nonlinear PDEs or the development of new solver- or coupling-methods including their convergence analysis, but also modeling and simulation
-
project within the SusMax network focused on developing interpretable machine-learning frameworks for kinetic multiphase reaction-network discovery in the catalytic conversion of renewable feedstocks
-
data analysis experts. The main tasks include the analysis of complex biomedical data using modern AI methods, as well as the development of novel machine and deep learning algorithms to understand
-
. The project’s overarching goal is the development of digital quantum algorithms for the simulation of non-abelian lattice gauge theories. We are looking for highly motivated individuals, with the desire
-
algorithms into an existing framework, with a focus on efficiency, as well as creation and execution of relevant simulation pipelines: from real data to mathematical and clinically actionable results
-
smart grid). While there has been tremendous progress in formal verification of cyber-physical systems, existing approaches still require expert knowledge. The main goal of this project is to develop
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
-
computer science with very good results - Interest on topics around the area of distributed systems and data management - Basic knowledge in distributed systems and graph algorithms is desired - Hand-on experience
-
to serious and costly accidents due to human error. Solutions to these problems, such as sustainable drives and autonomous navigation, are not yet fully developed and are still at the experimental stage