Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
(e.g., based on physiological signals or direct inputs from occupants) and developing algorithms, including machine learning methods. The work will include statistical modelling, data-driven modelling
-
interdisciplinary team. Applicants with strong background in the following fields are preferred: Dynamical Systems Control Theory Formal Methods Machine Learning Context The applicant will be directly advised by Prof
-
applicants will have:*Expertise conducting spatial and statistical analyses*Experience with scientific computer programming in R and Python*Formal training or experience applying quantitative and spatial
Searches related to formal methods
Enter an email to receive alerts for formal-methods "the" positions