21 proof-checking-postdoc-computer-science-logic Postdoctoral scholarships at Technical University of Munich
-
: Excellent Master’s degree (or equivalent) in computer science, engineering, or related disciplines (typically mathematics, physics). For Postdoc applicants: Excellent track record in computer science
-
Sciences (Physik), Technische Universität München Startdatum: Oktober 2025 - ENGLISH: PostDoc and PhD positions in Quantum Simulation Theory, Positions: 2-3 years (PostDoc) & 3-4 years (PhD), Location
-
, NeRFs, Diffusion Models, LLMs, etc. PhD and PostDoc Positions in Visual Computing & AI The Visual Computing & Artificial Intelligence Group at the Technical University of Munich is looking for highly
-
or Postdoc Position in Numerical Mathematics m/f/d, 100%, 2 years+ As part of the second phase of the DFG funded Priority Programme SPP2311, the Chair for Numerical Mathematics under the leadership
-
://mediatum.ub.tum.de/doc/1696192/aab7jokzk7x4paq7m2y9pa2p6.Wetzlinger-2022-NAHS.pdf Job Specifications For PhD applicants: Excellent Master’s degree (or equivalent) in computer science, engineering, or related
-
, enrichment analyses - biological interpretation of data Your qualification - PhD/MSc degree in bioinformatics, computer science, mathematics, life sciences - background in Machine Learning and/or RNAseq
-
22.10.2020, Wissenschaftliches Personal PhD and PostDoc Positions in Visual Computing & Artificial Intelligence: we are looking for highly-motivated PhD students and PostDocs at the intersection
-
. Dr. Barbara Wohlmuth, Chair of Numerical Mathematics (M2) TUM School of Computation, Information and Technology Boltzmannstraße 3, D-85748 Garching Please do not submit original documents! We kindly
-
) and present your work at top conferences and journals in our field. Candidates should have completed their Master/Diploma studies in Computer Science, Mathematics, Mechatronics, Electrical Engineering
-
, or machine learning is also appreciated. PhD: The candidate is expected to have some background in theoretical computer science, including some of the following areas: automata, logic, games, verification