Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- CNRS
- Technical University of Munich
- Technical University of Denmark
- Nature Careers
- Universidad de Alicante
- University of Basel
- Curtin University
- Forschungszentrum Jülich
- University of Luxembourg
- Eindhoven University of Technology (TU/e); yesterday published
- ISCTE - Instituto Universitário de Lisboa
- Maastricht University (UM)
- Mälardalen University
- 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
- Uppsala universitet
- Aarhus University
- Bucharest Universty of Economic Studies
- Cranfield University
- DAAD
- ETH Zürich
- Helmholtz Zentrum Hereon
- Helmholtz-Zentrum Geesthacht
- Imperial College London
- Inria, the French national research institute for the digital sciences
- KU LEUVEN
- Loughborough University
- Lunds universitet
- Monash University
- Murdoch University
- Stockholms universitet
- Tallinn University of Technology
- The University of Edinburgh;
- UiT The Arctic University of Norway
- Universite de Moncton
- University of A Coruña
- University of Adelaide
- University of Antwerp
- University of Innsbruck, Institute of Computer Science
- University of Newcastle
- University of Southern Denmark
- Vrije Universiteit Brussel
- ; The University of Edinburgh
- Agricultural university - Plovdiv, Bulgaria
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Brookhaven Lab
- CISPA Helmholtz Center for Information Security
- CSIRO
- Centre Tecnològic de Telecomunicacions de Catalunya (CTTC)
- 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
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); Published yesterday
- 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
- IMDEA Networks Institute
- INSTITUTO POLITÉCNICO DE SANTARÉM
- 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
- Linnaeus University
- Luleå University of Technology
- 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 •
- Mälardalens universitet
- National Renewable Energy Laboratory NREL
- Newcastle University
- Newcastle University;
- 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
- Tampere University
- Technical University of Darmstadt •
- 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
-
) Positions PhD Positions Country Spain Application Deadline 17 Nov 2025 - 13:59 (Europe/Madrid) Type of Contract Temporary Job Status Full-time Hours Per Week 40 Offer Starting Date 1 Jan 2026 Is the job
-
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
-
) Positions PhD Positions Country Norway Application Deadline 19 Nov 2025 - 23:59 (Europe/Oslo) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not