Sort by
Refine Your Search
-
at IST Austria and TU Delft. The initial appointment is for one year with possible extension depending on performance. Responsibilities - Development and analysis of theoretical models and protocols
Searches related to model checking
Enter an email to receive alerts for model-checking positions