Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- CNRS
- Technical University of Denmark
- Technical University of Munich
- University of Basel
- Nature Careers
- Curtin University
- Forschungszentrum Jülich
- ETH Zürich
- Eindhoven University of Technology (TU/e); yesterday published
- ISCTE - Instituto Universitário de Lisboa
- Maastricht University (UM)
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Norwegian University of Life Sciences (NMBU)
- The University of Manchester
- The University of Manchester;
- University of East Anglia
- University of Groningen
- University of Luxembourg
- Uppsala universitet
- Bucharest Universty of Economic Studies
- Cranfield University
- DAAD
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); Published yesterday
- Helmholtz Zentrum Hereon
- Helmholtz-Zentrum Geesthacht
- Inria, the French national research institute for the digital sciences
- KU LEUVEN
- Murdoch University
- Mälardalen University
- Stockholms universitet
- Tallinn University of Technology
- The University of Edinburgh
- The University of Edinburgh;
- UiT The Arctic University of Norway
- Universite de Moncton
- University of Adelaide
- University of Exeter
- University of Innsbruck, Institute of Computer Science
- University of Southern Denmark
- Vrije Universiteit Brussel
- ; The University of Edinburgh
- Aarhus University
- Agricultural university - Plovdiv, Bulgaria
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Biology Centre CAS
- CISPA Helmholtz Center for Information Security
- Danmarks Tekniske Universitet
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Edinburgh Napier University;
- Eindhoven University of Technology
- European Magnetism Association EMA
- European Synchrotron Radiation Facility
- Flinders University
- Fraunhofer-Gesellschaft
- Friedrich Schiller University Jena •
- Ghent University
- Human Technopole
- IMDEA Networks Institute
- ISGLOBAL
- Institute of Chemical Research of Catalonia ICIQ
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- Instituto de Ciencias del Patrimonio - Spanish Council for Scientific Research (CSIC)
- Instituto de Telecomunicações
- Justus Liebig University Giessen •
- Jönköping University
- King's College London Department of Engineering
- Leibniz
- Linköping University
- Linköpings universitet
- Loughborough University
- Loughborough University;
- Luleå University of Technology
- Lunds universitet
- Maastricht University (UM); 18 Oct ’25 published
- Maastricht University (UM); yesterday published
- 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 •
- Monash University
- Mälardalens universitet
- National University of Science and Technology POLITEHNICA Bucharest
- Newcastle University
- Radboud University
- Radboud University Medical Center (Radboudumc)
- School of Business, Society and Engineering
- Technical University of Darmstadt •
- Technical University of Denmark (DTU)
- The Norwegian School of Sport Sciences
- Tilburg University
- Tilburg University; Tilburg
- UNIVERSITY OF HELSINKI
- Ulm University •
- Umeå University
- Umeå universitet
- Universidade de Vigo
- Universitat Politècnica de Catalunya (UPC)- BarcelonaTECH
- 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
-
Your profileYou are enthusiastic about developing and investigating innovative research ideas and systems within the discipline of distributed systems? You have a master’s or equivalent degree in
-
as well as the entire PhD course and research program are held in English only. There is no need to learn German for these positions.Preferred SkillsBasic Computer Science• Distributed systems (Cloud
-
PhD project: Modelling Resilience of Water Distribution Networks Supervised by Rasa Remenyte-Prescott (Faculty of Engineering) Aim: To develop an modelling approach for assessing water network
-
synthesis and assembly of concrete PCMs. RecyWax+ offers a PhD position for molecular-dynamics simulations of novel PCM systems for thermal storage. Recywax+ is supported within the Dutch Research Council NWO
-
") team of the laboratory. Supervisory Team: The project is supervised by Malgorzata Chmiel (Géoazur, CNRS) and Jean-Paul Ampuero (Géoazur, IRD). The PhD student will work in close collaboration with Margot
-
One fully funded, full-time PhD position to work with Prof. Mahesh Marina in the Networked Systems Research Group at the School of Informatics, University of Edinburgh. The broad aim