-
inverse problems. The team aims at developing Bayesian computational methods for such (ill-posed) inverse problems and aims both at increasing their validity and at reducing their computational cost. In
-
processing, embedded systems, machine learning, and networked communication. Each PhD position corresponds to a dedicated research topic within the consortium. All doctoral researchers will benefit from joint
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions