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
-
1,000 employees from over 50 nations, it is the largest institute of the Max Planck Society . The Department of Theoretical and Computational Biophysics headed by (Prof. Dr. Helmut Grubmüller) is
-
biochemical techniques to study details of antigen recognition and effector functions of autoantibodies Engage in data analysis and collaborate with computational scientists. Your qualifications: MSc
-
statistical data evaluation, creation of scientific programme codes using common software packages (MATLAB, Python, R) Simulation skills with e.g. molecular dynamics and alpha fold Knowledge
-
. The position is part-time, with 65% of the regular weekly working hours (currently 25.35 hours) and should be used for a doctorate. Participation in the accompanying doctoral program is compulsory. This serves
-
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
-
conferences Requirements: a university degree in the field of computer science, data science, computational modeling or related subjects in combination with civil engineering, transport engineering a strong
-
ranges from core areas of computer science and electronics over medical applications to societal aspects of AI. SECAI’s main research focus areas are: Composite AI: How can machine learning and symbolic AI
-
(GIWAXS) and others) Contribution 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