PostDoc position in machine learning and probabilistic graphical models We are seeking a candidate for a two-year post doc position at 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, giving an incomplete representation of the full system and 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 well develop probabilistic machine learning 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 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 machine learning and formal methods 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, or soon thereafter, and has a duration of two years. Aalborg and Aalborg University: ------------------------------------------ The Computer Science Department at Aalborg University takes a leading international position within data management and verification. It is a very young university (1972) but with a strong international profile in Mathematics Computer Science & Engineering, also hosting the two most highly cited Computer Scientists of the country. Aalborg is an attractive student city located at the Fjord and close to the Sea. It is easily reached by train and via Aalborg Airport. Denmark in general, and Aalborg in particular, are known for their excellent quality of life. For more information, see https://www.visitaalborg.com/ . How to apply: -------------- In order to apply, please send an email with your CV and publication list to Thomas Dyhre Nielsen (t...@cs.aau.dk) and Kim Guldstrand Larsen (k...@cs.aau.dk) by September 1st, 2020 at the latest. The opening can be closed earlier in case a qualified candidate is found. _______________________________________________ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
