-
for the governance of airborne wind and by investigating spatial, procedural and distributional issues in the deployment of AWE systems. Research will be based on qualitative social science methods, e.g. conducting
-
state-of-the-art machine learning methods to analyse high-dimensional (time series) data. For the selected candidate, there will be possibilities to influence the project and develop new project ideas
-
methods such as optimization, filtering algorithms, predictors, etc. Software and coding skills with, e.g., Python, MATLAB, R, C++, Julia, potentially HIL. Excellent command of English in speech and writing
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions