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
-
, 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
-
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
-
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
-
. 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
-
the chance to obtain further academic qualification (usually PhD). Tasks: This research project funded by the German Science Foundation within the Priority Programme “Productive Biofilm Systems” aims at, in
-
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