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
- Wageningen University & Research
- Amsterdam UMC
- Carnegie Mellon University
- 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
- Rochester Institute of Technology
- Technical University Of Denmark
- The University of Manchester
- UNIVERSITY OF HELSINKI
- University of Bergen
- University of East Anglia
- University of Oxford
- University of Sheffield
- University of Utah
- AIT Austrian Institute of Technology
- Aalborg University
- Bellvitge Biomedical Research Institute
- Birmingham City University
- 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
- Norwegian University of Life Sciences (NMBU)
- Oak Ridge National Laboratory
- 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
- 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
-
of mountains in the global hydrological cycle? And in what happens to downstream water supply when mountains change? Do you like working with numerical models? Then this PhD might be your next step! A large part
-
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
-
. The research will combine experimental device development, nanofabrication, electrical and magnetic characterisation, and computational modelling to investigate the underlying physical mechanisms and demonstrate
-
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