Sort by
Refine Your Search
-
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
-
area of responsibility collaboration in a committed international team with an open and agile working culture flexible working hours participation in the university's health management program and in
-
pursued within a structured graduate program of the CRC integrated into the Graduate Academy of the University of Stuttgart (GRADUS). The University of Stuttgart symbolizes exceptional, internationally
-
Universität Berlin. The position is part of the research group Quality.2 (Phytonutrient Management) in the programme area ‘Plant Quality and Food Security’ (QUALITY). The aim of the research project ‘GluAmin
-
positions with competitive salaries according to TV-L scale [pdf-Datei] . Integration into the LMU Graduate Program, providing structured career development and training. Access to cutting-edge core
-
welcomes applications from individuals with a master’s degree in the following fields: Computer Science Mathematics Natural or engineering sciences or an equivalent degree, interested in High-Performance
-
on methods development in machine learning, uncertainty quantification and high performance computing with context of applications from the natural sciences, engineering and beyond. It is embedded in
-
Technology, Mechatronics, Robotics, Systems Engineering, Applied Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description
-
, their achievements and productivity to the success of the whole institution. At the Faculty of Mathematics, Institute of Scientific Computing, within the Dresden Center for Computational Materials Science (DCMS
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff