We are seeking a candidate for a two-year post doctoral position in the Distributed, Embedded, and Intelligent Systems group at the Department of Computer Science (https://www.cs.aau.dk/), Aalborg University, Denmark.
The position is primarily associated with the cross-disciplinary project CLAIRE: ControLing wAter In an uRban Environment. Urban water environments are complex and distributed with processes operating on different scales. Observations and sensor measurements from water systems are sparse, and can only give an incomplete representation of the full system providing only partial basis for resource optimization. The overall aim of CLAIRE is to combine machine learning and formal model checking techniques with water engineering in order to optimize water resources while also ensuring a safe and sustainable management of these resources. As a post doctoral researcher in the project you will develop models and algorithms for doing monitoring and prediction of water resources based on heterogeneous and distributed sensor data. The main focus will be on learning and inference in probabilistic graphical models, integrating qualitative and quantitative domain knowledge and possibly incorporating deep learning components. The developed models will be integrated in the formal model checking tool UPPAAL Stratego (https://people.cs.aau.dk/~marius/stratego/), which provides techniques for synthesizing safe and near-optimal control strategies through a combination of formal model checking techniques and reinforcement learning. As part of the project, you will work closely with researchers in formal methods and machine learning as well as researchers from water engineering. Requirements: ------------------- * PhD in computer science, statistics, or related field * Experience with probabilistic graphical models and machine learning * Knowledge about methods for model checking and formal verification * Good programming skills * Publication record in peer-reviewed conferences and journals * Excellent level of both written and spoken English * Ability to work independently and in collaboration with others Starting date: ------------------ The position will be available from October 1st, 2020, and has a duration of two years. Inquiries for additional information should be send to Kim Guldstrand Larsen (k...@cs.aau.dk) or Thomas Dyhre Nielsen (mailto:t...@cs.aau.dk). Please enclose CV, publication record, and other relevant information. _______________________________________________ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
