As part of the ERC Advanced Grant won by prof. Kim G. Larsen with the 5-year project LASSO (Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems), we are seeking excellent applicants for several postdoctoral research positions and PhD positions.
It is the objective of LASSO to provide the new generation of scalable, model-based tools for cyber-physical systems based on a mathematical sound foundation, that enables trade-offs between functional safety and quantitative performance. It is the overall hypothesis of LASSO that a full integration of model checking and synthesis with machine learning will provide the key to innovative, highly scalable methods for learning, analysis, synthesis and optimization of cyber-physical systems. In particular, we seek candidates across the following 5 topics:
- Quantitative models and metrics – e.g. stochastic, timed, weighted, hybrid automata.
- Quantitative model checking and synthesis
- Statistical model checking
- Synthesis for multi-objective optimization
- Learning behavioural and phenomenological models, e.g. reinforcement learning and probabilistic graphical models
The permanent staff of LASSO includes the principle investigator prof. Kim G. Larsen, assoc. prof. Radu Mardare, assoc. prof. Manfred Jaeger, and industrial prof. Axel Legay.
The LASSO project is carried out within Center for Embedded Software Systems (CISS) at Department of Computer Science, Aalborg University. CISS is a leading European center within embedded and cyber-physical systems, with emphasis on foundational issues, analysis tools and model-driven development, and with several European and Danish projects covering both basic research as well as industrial innovation. Thus, the successful applicant will get the possibility to work in a creative international environment and conduct a highly competitive research on a global scale. LASSO also involves permanent researchers from the group of Machine Intelligence at Aalborg University, known for its groundbreaking contributions to Bayesian Networks.
PostDoc The candidates must hold a PhD degree with a top performance and have a proven track record in conducting original competitive scientific research and publishing the results in reputable conferences and scientific journals. Maturity, self-motivation and the ability to work both independently and as a team player in local and international research teams are expected.
Besides a strong theoretical background, interest and experience with software development, for example verification/analysis tool prototypes, is very welcome. Good English language skills are mandatory. The positions are offered for a period of two years, starting as soon as possible and preferably in the first quarter of 2016. A competitive salary and social benefits will be offered.
Interested candidates may send further questions and a short statement of research interests (possibly with a short CV) to the principle investigator of LASSO, prof. Kim G. Larsen (email@example.com) before February 22, 2016.
PhD The candidates must hold an M.Sc. or equivalent with top performance in a field that is closely related to computer science or mathematics. The candidates should have interest in performing original highly competitive scientific research, publishing the results in top conferences and scientific journals. Self-motivation and the ability to work both independently and as a team player in local and international research teams are expected. Good English language skills are mandatory.
Interested candidates may send further questions and a short statement of research interests (possibly with a short CV) to the principle investigator of LASSO, prof. Kim G. Larsen (firstname.lastname@example.org) before February 29, 2016.