-
to the development of ongoing research. This will include the integration, modelling, and advanced statistical analyses of large genetic, ecological, and environmental data sets. The successful candidate is also
-
(connected to e.g. geolocation, wood quality, BIM models, EPDs, moisture and weather exposure), identify needs and collect complementary data and investigate techniques for connecting and transferring data
-
learning can improve software architecture recovery, how to optimize machine learning models at compile and runtime, and autonomous agents for software development. Part of the research is conducted through
Searches related to model checking
Enter an email to receive alerts for model-checking positions