-
within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important
-
; Distributed multi-agent sensing and cooperative positioning algorithms; Machine learning and data-driven methods for ambient awareness. Working Environment: The PhD will be conducted at the University
-
to staff position within a Research Infrastructure? No Offer Description This is a call for expressions of interest. The formal selection process will be carried out by a selection committee at the
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions