Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- CNRS
- Technical University of Denmark
- Technical University of Munich
- Nature Careers
- Universidad de Alicante
- University of Basel
- Curtin University
- Eindhoven University of Technology (TU/e)
- Forschungszentrum Jülich
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- University of East Anglia
- Uppsala universitet
- Aarhus University
- DAAD
- ETH Zürich
- Eindhoven University of Technology (TU/e); yesterday published
- ISCTE - Instituto Universitário de Lisboa
- KU LEUVEN
- Maastricht University (UM)
- Norwegian University of Life Sciences (NMBU)
- The University of Edinburgh;
- The University of Manchester
- The University of Manchester;
- University of Groningen
- University of Luxembourg
- University of Southern Denmark
- Biology Centre CAS
- Bucharest Universty of Economic Studies
- Cranfield University
- Eindhoven University of Technology (TU/e); Published yesterday
- Helmholtz Zentrum Hereon
- Helmholtz-Zentrum Geesthacht
- Helmholtz-Zentrum Hereon
- Imperial College London;
- Inria, the French national research institute for the digital sciences
- Instituto de Telecomunicações
- Leibniz
- Luleå University of Technology
- Lunds universitet
- Murdoch University
- Mälardalen University
- Stockholms universitet
- Tallinn University of Technology
- UiT The Arctic University of Norway
- Umeå University
- University of A Coruña
- University of Adelaide
- University of Antwerp
- University of Innsbruck, Institute of Computer Science
- University of Newcastle
- University of Plymouth
- University of Twente
- Université Catholique de Louvain (UCL)
- 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
- Edinburgh Napier University;
- Eindhoven University of Technology
- Eindhoven University of Technology (TU/e); Published 7 Nov ’25
- Eindhoven University of Technology (TU/e); Published today
- European Magnetism Association EMA
- European Synchrotron Radiation Facility
- FUNDACIO INSTITU DE RECERCA EN ENERGIA DE CATALUNYA
- Flinders University
- Fraunhofer-Gesellschaft
- Friedrich Schiller University Jena •
- GFZ Helmholtz-Zentrum für Geoforschung
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- 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 Ciencias del Patrimonio - Spanish Council for Scientific Research (CSIC)
- Justus Liebig University Giessen •
- Jönköping University
- King's College London Department of Engineering
- La Rochelle Université
- Linköping University
- Linköpings universitet
- Linnaeus University
- Loughborough University
- Loughborough University;
- Lulea 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
- 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
-
reconciliation in continuous variable quantum key distribution. Expression of Interest - PhD Opportunity in error correction codes for free-space quantum communications We invite expressions of interest to enrol
-
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
-
their stays at ACE and to participate in the research activities (conferences, seminars, etc) at ACE and abroad. The PhD project is to be carried out as part of the research project. The PhD student’s role in
-
, market participation strategies and risk management, large-scale, distributed, multi-objective optimization techniques applied to energy markets and power systems and AI for optimization and control 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
-
-scale, distributed, multi-objective optimization techniques applied to energy markets and power systems and AI for optimization and control in power and energy systems. The EES group has strong ties with