Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- DAAD
- Forschungszentrum Jülich
- Nature Careers
- Technische Universitaet Dresden
- CISPA (Stuttgart)
- CISPA Helmholtz Center for Information Security
- Heidelberg University
- Leibniz
- Max Planck Institute for Software Systems •
- Max Planck Institute of Biochemistry •
- Saarland University •
- Technical University of Munich
- University of Siegen
- University of Tübingen
- Universität Hamburg •
- Universität Siegen
- 6 more »
- « less
-
Field
-
edge AI hardware/software. Contribute to designing and evaluating scheduling algorithms for virtualized or distributed AI resources under varying load, latency, and failure conditions. Build and test a
-
/software. Contribute to designing and evaluating scheduling algorithms for virtualized or distributed AI resources under varying load, latency, and failure conditions. Build and test a scenario generator for
-
interdisciplinary projects. Development, testing, and evaluation of methods and software systems directly on our real test vehicles (see image) for automated driving. Application of modern software engineering
-
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 code via
-
and pursues the goal of contributing to the development of a sustainable society in the digital age through research, teaching and administration. The Institute for Software and Systems Engineering
-
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
-
Max Planck Institute for Software Systems • | Kaiserslautern, Rheinland Pfalz | Germany | about 17 hours ago
jointly run by the Max Planck Institute for Software Systems (MPI-SWS), Max Planck Institute for Informatics (MPI-INF), the Computer Science Department at RPTU Kaiserslautern-Landau, and the
-
CISPA Helmholtz Center for Information Security | Stuttgart, Baden W rttemberg | Germany | about 2 months ago
., to infer specifications) Test input generation (e.g., to compare the behavior of old and new code via differential testing) We focus on techniques that apply to real-world software systems. E.g., in the past
-
++, Python, and JavaScript languages, multi- and many-core SoC, RISC-V, hardware synthesis, hardware-software co-design, (meta-heuristic) optimization algorithms, machine learning frameworks, (bonus topics
-
17.10.2025, Wissenschaftliches Personal Concerning a full position (100 %), we are hiring a Research assistant (f/m/d) at the Chair of Non-destructive Testing in the Project ScanPyramids for the non