Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- NTNU - Norwegian University of Science and Technology
- University of Antwerp
- Monash University
- NTNU Norwegian University of Science and Technology
- University of Amsterdam (UvA)
- Carnegie Mellon University
- Amsterdam UMC
- National Research Council Canada
- Norwegian University of Life Sciences (NMBU)
- Universitat de Barcelona
- Wageningen University & Research
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Ludwig-Maximilians-Universität München •
- Luxembourg Institute of Science and Technology
- The University of Manchester
- University of Texas at El Paso
- Vrije Universiteit Amsterdam (VU)
- Wrocław University of Science and Technology
- AALTO UNIVERSITY
- Eindhoven University of Technology (TU/e)
- FCiências.ID
- Fondazione Bruno Kessler
- GFZ Helmholtz-Zentrum für Geoforschung
- Institute for bioengineering of Catalonia, IBEC
- Jane Street Capital
- KU LEUVEN
- Nord University
- Norwegian Institute of Bioeconomy Research
- Rochester Institute of Technology
- Technical University Of Denmark
- UNIVERSITY OF HELSINKI
- University of Bergen
- University of East Anglia
- University of Kentucky
- University of Oslo
- University of Sheffield
- University of Twente (UT)
- University of Utah
- AIT Austrian Institute of Technology
- Aalborg Universitet
- Aalborg University
- Bellvitge Biomedical Research Institute
- CNRS
- COFUND QuanG
- Centro de Investigaciones sobre Desertificación (CIDE, CSIC-UV-GVA)
- Christian-Albrechts-Universität zu Kiel
- Cleveland State University
- Constructor Knowledge Labs gGmbH
- Constructor University Bremen gGmbH
- Curtin University
- 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
- Geological Survey of Denmark and Greenland (GEUS)
- George Mason University
- Heidelberg University
- Helmholtz-Zentrum Dresden-Rossendorf •
- IIASA
- 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 Biochemistry and Biophysics Polish Academy of Sciences
- Institute of Geological Sciences, Polish Academy of Sciences
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- KNAW
- Karolinska Institutet, doctoral positions
- Leiden University
- 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 •
- Northeastern University
- Pennsylvania State University
- Purdue University
- SciLifeLab
- Silesian University of Technology
- Technical University of Denmark (DTU)
- Technische Universität Berlin •
- The Ohio State University
- The Rosalind Franklin Institute
- The University of Arizona
- The University of Chicago
- The University of Newcastle
- Tilburg University
- Ulm University •
- Universitat Politècnica de Catalunya (UPC)- BarcelonaTECH
- University of Arkansas
- University of Basel
- University of Bedfordshire
- University of Cambridge;
- University of Cologne •
- University of Göttingen •
- University of Helsinki
- 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
-
preclinical animal models required for research projects. Collaborate within interdisciplinary teams to analyze data, publish findings and contribute to clinically relevant innovations. Required Qualifications
-
, 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
-
around the modelling protocol: diagnostic checks of scenario submissions against the protocol, and documentation of harmonized assumptions and remaining differences across models Contribute to / develop
-
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