-
record in remote sensing techniques for studying Earth system processes. We integrate ground, airborne and satellite measurements with instrument development, retrieval methods, simulations and model-data
-
feasibility. This is a stimulating position for candidates interested in interpretable AI, formal safety guarantees, and impactful research in sustainable mobility. Project overview The position focuses
-
. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions