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
-
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
-
16 May 2025 Financing yes Type of Position Full PhD Working Language English German Required Degree Bachelor Master Areas of study Applied Computer Science, Bioinformatics, Software Engineering
-
Technology, Mechatronics, Robotics, Systems Engineering, Applied Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description
-
Deadline 16 May 2025 Financing yes Type of Position Full PhD Working Language English German Required Degree Bachelor Master Areas of study Applied Computer Science, Bioinformatics, Software Engineering
-
: university degree in chemistry or physics and profound knowledge in computational and theoretical physics/chemistry. Capability of team work is essential. Skills in high-performance computing, materials
-
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
-
-year contracts at each institution (4 in total) are envisaged. The applicant will have to apply and be admitted to post-graduate study programme at the Faculty of Mathematics and Physics, Charles
-
. Engage in data analysis and collaborate with computational scientists. Your qualifications: MSc or equivalent degree in Molecular Biology, Genetics, Biochemistry, Epigenetics, or a related discipline
-
global analysis, functional analysis or analysis of partial differential equations Language proficiency in English or German These posts are designed to serve in fostering young researchers. It gives