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
- Aarhus University
- 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
- The University of Manchester
- The University of Manchester;
- University of East Anglia
- University of Groningen
- Uppsala universitet
- Bucharest Universty of Economic Studies
- Cranfield University
- DAAD
- ETH Zürich
- Helmholtz Zentrum Hereon
- Helmholtz-Zentrum Geesthacht
- Inria, the French national research institute for the digital sciences
- KU LEUVEN
- Loughborough University
- Lunds universitet
- Monash University
- Murdoch University
- Norwegian University of Life Sciences (NMBU)
- 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 Newcastle
- University of Nottingham
- University of Southern Denmark
- ; City St George’s, University of London
- ; The University of Edinburgh
- ; University of Warwick
- Abertay University
- 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)
- 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
- 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
- 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
-
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
-
monitoring through considering a wider area of the floodplain. Repeated detailed topographical surveys using a differential Global Positioning System (dGPS) will be used to quantify changes in geomorphology
-
programming skills, good knowledge on modeling cyber-physical systems, and preferably experience with DSL development. PhD 3: Timing-aware distributed supervisory controller synthesis (supervision by: Michel
-
at the Norwegian University of Life Sciences (NMBU) has a vacant three-year PhD–position related to related to diagnostics and prevalence studies of porcine arthritis pathogens. The project is funded by