1 programming-"the"-"DAAD"-"U"-"Prof"-"IDAEA-CSIC"-"IMPRS-ML"-"U.S" "O" PhD positions at University of Groningen

Sort by

listed

Filtered by
PhD
University of Groningen
programming-"the"-"DAAD"-"U"-"Prof"-"IDAEA-CSIC"-"IMPRS-ML"-"U.S" "O"
Remove All

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for programming-"the"-"DAAD"-"U"-"Prof"-"IDAEA-CSIC"-"IMPRS-ML"-"U.S" "O" positions

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | about 13 hours ago

Organisation Job description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and

Enter an email to receive alerts for programming-"the"-"DAAD"-"U"-"Prof"-"IDAEA-CSIC"-"IMPRS-ML"-"U.S" "O" positions