Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- Lulea University of Technology
- Luleå University of Technology
- University of Groningen
- Aix-Marseille Université
- CNRS
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Rutgers University
- Stony Brook University
- Universitat Politècnica de Catalunya (UPC)- BarcelonaTECH
- University of Bergen
- University of Groningen; 26 Sep ’25 published
- University of Texas at Austin
- University of Washington
- Washington University in St. Louis
- 5 more »
- « less
-
Field
-
: Computer science MAIN SUB RESEARCH FIELD OR DISCIPLINES1: Distributed Algorithms – Fault Tolerance – Cloud computing JOB /OFFER DESCRIPTION We are looking for a young researcher interested in fault tolerance and
-
, 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
-
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
-
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. Conditions of employment We
-
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
-
? PhD position in Algorithmic Number Theory and Cryptography There is a vacancy for a PhD Research Fellow in Algorithmic Number Theory and Cryptography at the Department of Informatics . The position is
-
funding, Profs. Himanshu Gupta and CR Ramakrishnan conduct research in the general area of quantum networks, quantum sensor networks, and distributed quantum computing. The center includes other quantum
-
modeling techniques and artificial intelligence methodologies in brain diseases. The candidate will work on developing advanced new algorithms, testing and validation, and applications in these data
-
circuit boards and solder components. Perform programming of PLCs, single-board computers and microcontrollers. Integrate sensors and actuators with control algorithms to implement a control system. Send
-
, 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