Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- NTNU - Norwegian University of Science and Technology
- Monash University
- University of Amsterdam (UvA)
- University of Antwerp
- NTNU Norwegian University of Science and Technology
- Amsterdam UMC
- Carnegie Mellon University
- Wageningen University & Research
- National Research Council Canada
- AALTO UNIVERSITY
- Universitat de Barcelona
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Ludwig-Maximilians-Universität München •
- University of Texas at El Paso
- Wrocław University of Science and Technology
- Eindhoven University of Technology (TU/e)
- 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
- Norwegian University of Life Sciences (NMBU)
- Rochester Institute of Technology
- Technical University Of Denmark
- The University of Manchester
- UNIVERSITY OF HELSINKI
- University of Bergen
- University of East Anglia
- University of Sheffield
- University of Utah
- AIT Austrian Institute of Technology
- Aalborg University
- Bellvitge Biomedical Research Institute
- COFUND QuanG
- Centro de Investigaciones sobre Desertificación (CIDE, CSIC-UV-GVA)
- Christian-Albrechts-Universität zu Kiel
- Constructor Knowledge Labs gGmbH
- Constructor University Bremen gGmbH
- Curtin University
- Empa
- FCiências.ID
- 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)
- Institute of Geological Sciences, Polish Academy of Sciences
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- KNAW
- Leiden University
- Linköping University
- Luxembourg Institute of Science and Technology
- 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
- Norwegian Meteorological Institute
- Pennsylvania State University
- Purdue University
- SWINBURNE UNIVERSITY OF TECHNOLOGY
- SciLifeLab
- Silesian University of Technology
- Swedish University of Agricultural Sciences
- 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 Copenhagen
- University of Göttingen •
- University of Helsinki
- University of Kentucky
- University of Minho
- University of Münster •
- University of Nottingham
- University of Oldenburg
- University of Oslo
- University of Oxford
- 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
-
examples, backdoors and model extraction attacks to physical side-channel and fault injection attacks on AI chips. We build defenses that are both robust and efficient. A strong background in machine
-
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
-
PhD Scholarship Opportunity: Quantum-Secured Artificial Intelligence Models Job No.: 699174 Location: Clayton campus Melbourne Employment Type: Full-time Duration: The scholarship may be held for up
-
21st October 2026 Languages English English English PhD position in Smart Ocean Observations and Drift Modelling for Marine Applications Apply for this job See advertisement About us and the project
-
materials characterisation and modelling. Techniques may include thermogravimetric analysis, in situ X-ray diffraction, SEM, EBSD, image analysis, thermodynamic calculations and kinetic modelling. The aim is