Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
Description Within the Collaborative Research Center “Wave phenomena – analysis and numerics” (CRC 1173) we are currently seeking to recruit, as soon as possible, a Doctoral Researcher (f/m/d – 75 %) in Mathematics for the project “Quantized vortices and nonlinear waves” The CRC has been funded...
-
(MHH). The project is funded by the Wissenschaftsräume programme of the state of Lower Saxony and the Volkswagen Foundation. Your tasks will include: Design the physical intervention component of the app
-
-edge Machine Learning applications on the Exascale computer JUPITER. Your work will include: Developing, implementing, and refining ML techniques suited for the largest scale Parallelizing model training
-
identification of spider mite infestation foci and needs-based beneficial insect application in outdoor cucumber cultivation’, which is funded by the BMBF within the funding programme KMU-innovativ: Bioökonomie
-
Engineering (ISSE) is one of the two computer science institutes at Clausthal University of Technology and is home to several research groups. You can find more information about the ISSE Institute on our
-
in inorganic synthesis and/or Schlenk-line preparations Experience with scientific programming (e.g., MATLAB, LabView) is advantageous Experience performing quantum chemistry computations (e.g., DFT
-
, computer science, etc.) can also be considered. In addition, we are looking for a candidate with the following: A high level of motivation to collaborate at an interdisciplinary interface and for international
-
sports programme with over 100 different sports, as well as a fitness centre with a sauna and climbing space. Health management measures, such as courses on stress management, good nutrition and
-
opportunity to establish a cutting-edge research program with significant impacts in this field. We are particularly interested in candidates who can develop an innovative research agenda in areas such as
-
to reason about software (e.g., LLM agents for finding and fixing bugs)Static and dynamic program analysis (e.g., to infer specifications)Test input generation (e.g., to compare the behavior of old and new