11 distributed-algorithm-"UNIS" PhD positions at University of Groningen in Netherlands
Sort by
Refine Your Search
-
Listed
-
Category
-
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
-
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
-
mathematical methods, algorithms, and applications are required. Simulators are a recognized method for architectural design explorations and the implementation of software development platforms. The goal
-
require the design of architectures suitable for real-life problems. Moreover, appropriate mathematical methods, algorithms, and applications are required. Simulators are a recognized method for
-
specialist collaborator to guarantee adequate integration of perception and action; advanced motion-planning and control algorithms, continuously refined via robotic digital twins, enable reliable handling
-
. The research unit Intelligent Systems (IS) in Computer Science is focused on the development of Data Science, Pattern Recognition and Machine Learning algorithms for interdisciplinary data analysis. For more
-
. The research unit Intelligent Systems (IS) in Computer Science is focused on the development of Data Science, Pattern Recognition and Machine Learning algorithms for interdisciplinary data analysis. For more
-
, tailored, complex materials such as advanced polymers or polymeric formulations, catalysts, mechatronic devices and software and algorithms. Design, control and modelling and analyses complement
-
and subsequently distribute within them, typically using microscopy-based techniques. The position is part of the national NanoMedNL consortium and the candidate will interact with other PhD candidates
-
activities. By mapping and analysing the spatial distribution of such initiatives, the project will reveal how urban demand for landscape services—food production, recreation, nature management—relates