Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- CNRS
- Technical University of Munich
- Technical University of Denmark
- University of Basel
- Curtin University
- Forschungszentrum Jülich
- Lulea University of Technology
- NTNU - Norwegian University of Science and Technology
- Universidad de Alicante
- University of Luxembourg
- Cranfield University
- Mälardalen University
- Nature Careers
- The University of Manchester;
- University of East Anglia
- University of Groningen
- Uppsala universitet
- ; City St George’s, University of London
- Aarhus University
- DAAD
- Eindhoven University of Technology (TU/e); yesterday published
- Helmholtz-Zentrum Geesthacht
- Humboldt-Stiftung Foundation
- ISCTE - Instituto Universitário de Lisboa
- Inria, the French national research institute for the digital sciences
- KU LEUVEN
- Linköping University
- Lunds universitet
- Maastricht University (UM); yesterday published
- Monash University
- Murdoch University
- NTNU Norwegian University of Science and Technology
- Stockholms universitet
- Tallinn University of Technology
- The University of Edinburgh
- The University of Manchester
- UiT The Arctic University of Norway
- Universite de Moncton
- University of A Coruña
- University of Adelaide
- University of Antwerp
- University of Bergen
- University of Newcastle
- University of Southern Denmark
- Utrecht University
- ; Loughborough University
- ; Swansea University
- ; The University of Edinburgh
- ; University of Birmingham
- ; University of Exeter
- ; University of Warwick
- Abertay University
- Agricultural university - Plovdiv, Bulgaria
- Brookhaven Lab
- Bucharest Universty of Economic Studies
- CISPA Helmholtz Center for Information Security
- CSIRO
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Duke University
- ETH Zürich
- Eindhoven University of Technology (TU/e)
- European Magnetism Association EMA
- European Synchrotron Radiation Facility
- FUNDACIO INSTITU DE RECERCA EN ENERGIA DE CATALUNYA
- Flinders University
- Fraunhofer-Gesellschaft
- Friedrich Schiller University Jena •
- Ghent University
- Human Technopole
- ISGLOBAL
- Imperial College London
- Institute of Chemical Research of Catalonia ICIQ
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- Instituto de Telecomunicações
- Justus Liebig University Giessen •
- Jönköping University
- Leibniz
- Linnaeus University
- Luleå University of Technology
- Maastricht University (UM)
- Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg
- Max Planck Institute for the Study of Crime, Security and Law, Freiburg
- Max Planck School of Cognition •
- Mälardalens universitet
- National Renewable Energy Laboratory NREL
- Newcastle University;
- Norwegian University of Life Sciences (NMBU)
- Radboud University
- Radboud University Medical Center (Radboudumc)
- School of Business, Society and Engineering
- SciLifeLab
- Simula Metropolitan Center for Digital Engineering
- State University of New York University at Albany
- Technical University of Darmstadt •
- The University of Edinburgh;
- Tilburg University
- Tilburg University; Tilburg
- Ulm University •
- 90 more »
- « less
-
Field
-
. The verification of distributed systems, however, is notoriously difficult. This PhD research is envisioned to broadly follow one of three directions, but can be adapted to suit the interests of an excellent
-
fault-tolerance. Due to the critical nature of many distributed systems, their correctness is of crucial importance. The verification of distributed systems, however, is notoriously difficult. This PhD
-
and Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems
-
with distributed components". In order to obtain funding for the full PhD-period of 4 years, the candidate is expected (with the support of the supervisors), to develop an application PhD fellowship
-
PhD Positions Country Germany Application Deadline 6 Dec 2025 - 00:00 (Europe/Berlin) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
, environment and health, infectious and non-communicable diseases, societal and cultural context, and health systems and policies. The Department of Epidemiology and Public Health (EPH) investigates distribution
-
Financing yes Type of Position Full PhD Working Language English Required Degree Master Magister (Masters degree course) Areas of study Marketing, Distribution, Commercial Law, Economic Sciences, Economics
-
A PhD position is available at the Theory and Foundations group in the Department of Computer Science, University of Warwick, UK. The group works on various aspects of theoretical computer science
-
application of the approach is limited by the fact that tools for synthesis cannot always deal with the state space explosion involved in complex systems. The aim of this PhD project is to develop distributed
-
are undertaking research in aerospace engineering and specifically on the application of distributed propulsion systems on future aeroplanes. Project details: Despite being some of the most complex and efficient