Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
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
-
available in the further tabs (e.g. “Application requirements”). Programme Description The programme enables academics from all over the world to undertake one-to-three-month research residencies
-
: - Quantum computing with qudits, quantum error correction and fault-tolerance - Quantum optics of trapped ions and Rydberg atom arrays - Numerical tensor network techniques - Topological order and (de
-
of Chemistry is equipped with state-of-the-art analytical, experimental, and data processing methods and is integrated into a strongly interacting and collaborating scientific environment with the Departments
-
available in the further tabs (e.g. “Application requirements”). Programme Description The Grant Programme of the Berlin House of Representatives awards funding to young researchers in any subject area from
-
: Dynamical Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members
-
of targeted therapies. Analyzing high-dimensional single-cell data has its own statistical and computational challenges, and standard tools often cannot be applied. The purpose of the position and goal
-
methods for the design, verification, and test of circuits and systems for conventional as well as alternative and post-CMOS computing technologies. Besides that, we have successfully applied the methods
-
22.10.2020, Wissenschaftliches Personal PhD and PostDoc Positions in Visual Computing & Artificial Intelligence: we are looking for highly-motivated PhD students and PostDocs at the intersection
-
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