Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Munich
- CNRS
- ISCTE - Instituto Universitário de Lisboa
- Lulea University of Technology
- NTNU - Norwegian University of Science and Technology
- Tallinn University of Technology
- The University of Manchester
- Universidad de Alicante
- University of Antwerp
- University of Groningen
- University of Newcastle
- ; University of Birmingham
- ; University of Cambridge
- ; University of Sheffield
- Aarhus University
- CISPA Helmholtz Center for Information Security
- CSIRO
- Cranfield University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- FUNDACIO INSTITU DE RECERCA EN ENERGIA DE CATALUNYA
- Ghent University
- Imperial College London
- Inria, the French national research institute for the digital sciences
- Instituto de Telecomunicações
- Luleå University of Technology
- NTNU Norwegian University of Science and Technology
- Newcastle University;
- University of Adelaide
- University of Cambridge
- University of Groningen; 26 Sep ’25 published
- Uppsala universitet
- Wageningen University & Research
- 23 more »
- « less
-
Field
-
theory. o SAT, SMT, and CHC solving. o Temporal logic and TLA+. o Distributed algorithms, blockchains, and smart contracts. o Quantum information theory and Markov decision processes. Additional
-
, resource efficient algorithms, and programming paradigms for enabling an application-tailored design of dependable communication and computation systems. Project description This PhD project is linked
-
quality monitoring system. Potential applications will initially focus on drinking water distribution networks. The main sources of water pollution are relatively well documented in the literature
-
. -) SAT, SMT, and CHC solving. -) Temporal logic and TLA+. -) Distributed algorithms, blockchains, and smart contracts. -) Quantum information theory and Markov decision processes. Conditions of employment
-
Control Laboratory). Subject description The research subject focuses on an integrated development of network architectures, resource efficient algorithms, and programming paradigms for enabling
-
, with both academia and industry recognising its importance. Distribution is an integral part of innumerous computer systems, providing them with essential improvements to aspects such as performance and
-
on advances in electricity grids and power markets to facilitate energy resource interaction and exchange. These platforms provide data for flexibility and demand response, connecting distributed resources
-
and power markets to facilitate energy resource interaction and exchange. These platforms provide data for flexibility and demand response, connecting distributed resources across decentralized
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 19 days ago
distributed optimization with noisy communication channels, accurately study the selected algorithms, participate in the development and maintenance of the PEPit (https://pepit.readthedocs.io/ ) software
-
the research group of Optical Quantum Communications; Contribute to the implementation of and characterization of a quantum receiver of a quantum key distribution system for long-distance optical links