-
Postdoctoral Researcher in ML for Dynamical Systems Representation, Prediction, and State-estimation
Engineering at Aalto University explores synergies between nonlinear control theory and machine learning to provide formal guarantees on performance, safety, and robustness of complex systems. We are a part of
-
research group of Professor Juho Rousu. The position allows the successful applicant to choose a flexible balance between advanced machine learning method development and exciting applications on molecular
-
. The main research responsibilities include the development of novel methods and analysis of remote sensing data to monitor water table dynamics and biophysical properties of northern peatlands, from local
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions