1 distributed-algorithm PhD positions at University of Groningen

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for distributed-algorithm positions

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | about 4 hours ago

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

Searches related to distributed algorithm

Enter an email to receive alerts for distributed-algorithm positions