Sort by
Refine Your Search
-
Country
-
Program
-
Employer
- Delft University of Technology (TU Delft)
- University of Antwerp
- INESC TEC
- NTNU - Norwegian University of Science and Technology
- National Research Council Canada
- Monash University
- NTNU Norwegian University of Science and Technology
- University of Amsterdam (UvA)
- Amsterdam UMC
- Norwegian University of Life Sciences (NMBU)
- Universidade Católica Portuguesa - Porto
- Universitat de Barcelona
- University of Stavanger
- Wageningen University & Research
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Ludwig-Maximilians-Universität München •
- The University of Manchester
- University of Oslo
- Vrije Universiteit Amsterdam (VU)
- Wrocław University of Science and Technology
- Curtin University
- Eindhoven University of Technology (TU/e)
- Fondazione Bruno Kessler
- KNAW
- Leiden University
- Luxembourg Institute of Science and Technology
- Nord University
- Norwegian Institute of Bioeconomy Research
- Oslo Metropolitan University
- OsloMet
- Technical University Of Denmark
- The University of Auckland
- Universidade do Minho
- University of Basel
- University of Bergen
- University of East Anglia
- University of Melbourne
- University of Twente (UT)
- University of Utah
- AIT Austrian Institute of Technology
- Aalborg Universitet
- Aalborg University
- Bellvitge Biomedical Research Institute
- Bendigo Community Bank Caloundra Scholarship Program
- CNRS
- COFUND QuanG
- Case Western Reserve University
- Centro de Investigaciones sobre Desertificación (CIDE, CSIC-UV-GVA)
- Christian-Albrechts-Universität zu Kiel
- Constructor Knowledge Labs gGmbH
- Constructor University Bremen gGmbH
- Empa
- European Research University
- Foundation for Research and Technology-Hellas
- Freie Universität Berlin •
- Friedrich Schiller University Jena •
- Fundacio de Recerca Clinic Barcelona-Institut d'Investigacions Biomediques August Pi i Sunyer
- GFZ Helmholtz-Zentrum für Geoforschung
- Heidelberg University
- Helmholtz-Zentrum Dresden-Rossendorf •
- IOCB Prague (Institute of Organic Chemistry and Biochemistry of the Czech Academy of Sciences)
- Inria, the French national research institute for the digital sciences
- Institute of Agrochemistry and Food Technology (IATA-CSIC)
- Institute of Biochemistry and Biophysics Polish Academy of Sciences
- Institute of Geological Sciences, Polish Academy of Sciences
- Instituto Português do Mar e da Atmosfera, I.P.
- Instituto Superior Técnico
- Integreat -Norwegian Centre for Knowledge-driven Machine Learning
- KU LEUVEN
- Karolinska Institutet, doctoral positions
- Life and Health Sciences Research Institute (ICVS), from the School of Medicine (EM) of the University of Minho
- Linköping University
- Maastricht University (UM)
- Max Planck Institute for Biogeochemistry •
- Max Planck Institute for Human Cognitive and Brain Sciences •
- Max Planck Institute for Meteorology •
- Max Planck Institute for Molecular Genetics •
- Max Planck Institute of Geoanthropology, Jena
- Max Planck Institute of Molecular Plant Physiology •
- Nanyang Technological University
- Pennsylvania State University
- Queensland University of Technology
- SciLifeLab
- Silesian University of Technology
- Technical University of Denmark (DTU)
- Technical University of Munich
- Technische Universität Berlin •
- The Rosalind Franklin Institute
- The University of Newcastle
- UiT The Arctic University of Norway
- Ulm University •
- Universidade do Minho - ISISE
- University of Aveiro
- University of Bath
- University of Bath;
- University of Bedfordshire
- University of Cologne •
- University of Göttingen •
- University of Inland Norway
- University of London
- 90 more »
- « less
-
Field
-
techniques, with a specific focus on symbolic model checking methods using satisfiability and satisfiability modulo theories solvers as symbolic reasoning engines. Importantly, in addition to researching novel
-
Primary supervisor - Dr Thomas Anthony Haynes Pellet-clad interaction (PCI) is a complicated phenomenon, relatively poorly captured in current commercial fuel performance codes. Models have been
-
, reachability, basic complexity classes. Mathematical logic and formal methods. First-order logic, type systems, SAT/SMT, temporal logic (LTL/CTL) and model checking, pre/post-conditions, invariants, refinement
-
experimental approaches with computational modeling to investigate how RNA-mediated alterations contribute to early neurodegeneration in Alzheimer's Disease. The student will use iPSC-derived models and single
-
Develop advanced models to understand and predict piping and internal erosion in dikes. As a PhD researcher at TU Delft, you will connect fundamental fluid–soil interaction physics with
-
. In this PhD project, you will investigate foundation models for automotive imaging radar. The goal is to learn general radar representations from largely unlabelled data that can generalize across
-
biogeochemical processes that govern their behaviour. Job description The PhD candidate will develop and analyse new process-based mathematical models to improve our understanding and predictive capability
-
generative models of how human tissues develop, mature and regenerate, and of what goes wrong in disease, with a focus on child health. The group starts in January 2027. You will develop generative models
-
research the dynamic processes of the Earth system. Our vision: “Taking the pulse of the Earth to safeguard a habitable planet.” For section 2.5 Geodynamic Modeling (department “Geophysics”), we are looking
-
scale radar datasets with high quality labels remain scarce. In this PhD project, you will investigate foundation models for automotive imaging radar. The goal is to learn general radar representations