Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Munich
- DAAD
- Forschungszentrum Jülich
- Leibniz
- University of Tübingen
- Justus Liebig University Giessen •
- Technische Universitaet Dresden
- CISPA (Stuttgart)
- CISPA Helmholtz Center for Information Security
- Deutsches Elektronen-Synchrotron DESY •
- Forschungsinstitut für Nutztierbiologie (FBN)
- Fraunhofer-Gesellschaft
- Friedrich-Alexander-University Erlangen-Nürnberg
- GSI Helmholtzzentrum für Schwerionenforschung
- Heidelberg University
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Helmholtz-Zentrum Geesthacht
- Humboldt-Universität zu Berlin •
- Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg
- Max Planck Institute for Intelligent Systems, Tübingen site, Tübingen
- Max Planck Institute for Software Systems •
- Max Planck Institute of Biochemistry •
- Nature Careers
- Saarland University •
- University of Göttingen •
- University of Potsdam •
- University of Siegen
- Universität Hamburg •
- Universität Siegen
- Universität Tübingen
- 20 more »
- « less
-
Field
-
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
-
profile: Successful degree (Master's, Diploma) in the field of computer science, software systems engineering, digital technologies or comparable qualification Openness to varied and exciting topics and
-
(UTC) Type of Contract To be defined Job Status Other Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research
-
CISPA Helmholtz Center for Information Security | Stuttgart, Baden W rttemberg | Germany | 2 months ago
, efficient, and secure software. General areas of research include: Artificial intelligence to reason about software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g
-
and scientific work by students Your profile: Successful degree (Master's, Diploma) in the field of computer science, software systems engineering, automation engineering, digital technologies
-
visualization in the Lipidomics Informatics for Life Science network in the de.NBI / ELIXIR-DE network Participation in working groups of the HUPO-PSI MS standardization initiative, ELIXIR Metabolomics and
-
corresponding projects Your Profile: Master’s degree in computer science, bio/-cheminformatics or natural sciences Strong programming skills (Python, R, Java, …) and interest to work in polyglot software
-
to the scattering data analysis and support of data/metadata formats developed in the group Integration of the developed software into the computational environments and data handling routines Presentation
-
two distinct images from a single PET acquisition. Within this project, we will jointly develop, adapt and implement advanced image reconstruction algorithms in our in-house reconstruction software
-
of Europe’s biggest research centers and help us to shape change! Are you excited about working at the interface of natural and computer sciences? At the Institute of Bio- and Geosciences (IBG