{"id":525,"date":"2016-01-31T09:17:25","date_gmt":"2016-01-31T09:17:25","guid":{"rendered":"http:\/\/kglarkiv.cs.aau.dk\/?p=525"},"modified":"2016-01-31T09:24:30","modified_gmt":"2016-01-31T09:24:30","slug":"post-doc-phd-positions-erc-adv-grant-lasso","status":"publish","type":"post","link":"https:\/\/kglarkiv.cs.aau.dk\/?p=525","title":{"rendered":"Post Doc &#038; PhD Positions, ERC Adv Grant LASSO"},"content":{"rendered":"<p><strong><a href=\"http:\/\/kglarkiv.cs.aau.dk\/wp-content\/uploads\/2016\/01\/ERC-Image.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright size-thumbnail wp-image-524\" title=\"ERC Image\" src=\"http:\/\/kglarkiv.cs.aau.dk\/wp-content\/uploads\/2016\/01\/ERC-Image-150x150.png\" alt=\"\" width=\"150\" height=\"150\" \/><\/a>PostDoc and PhD Openings at CISS, Aalborg University<br \/>\non Learning, Analysis, Synthesis and Optimization for Cyber Physical Systems<br \/>\nFebruary 22, February 29, 2016. <\/strong><\/p>\n<p>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.<\/p>\n<p>It is the\u00a0objective\u00a0of 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\u00a0hypothesis\u00a0of 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:<\/p>\n<ul>\n<li>Quantitative models and metrics \u2013 e.g. stochastic, timed, weighted, hybrid automata.<\/li>\n<li>Quantitative model checking and synthesis<\/li>\n<li>Statistical model checking<\/li>\n<li>Synthesis for multi-objective optimization<\/li>\n<li>Learning behavioural and phenomenological models, e.g. reinforcement learning and probabilistic graphical models<\/li>\n<\/ul>\n<p>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.<\/p>\n<p>The LASSO project is carried out within Center for Embedded Software Systems (CISS) at Department of Computer Science, Aalborg University.\u00a0 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,\u00a0 known for its groundbreaking contributions to Bayesian Networks.<\/p>\n<p><strong>PostDoc <\/strong>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.<\/p>\n<p>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.<\/p>\n<p>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 (<a href=\"mailto:kgl@cs.aau.dk\">kgl@cs.aau.dk<\/a>) before February 22, 2016.<\/p>\n<p><strong>PhD <\/strong>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.<\/p>\n<p>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 (<a href=\"mailto:kgl@cs.aau.dk\">kgl@cs.aau.dk<\/a>) before February 29, 2016.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Post Doc and PhD Positions, ERC Adv Grant LASSO<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-525","post","type-post","status-publish","format-standard","hentry","category-news"],"_links":{"self":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts\/525","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=525"}],"version-history":[{"count":3,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts\/525\/revisions"}],"predecessor-version":[{"id":527,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts\/525\/revisions\/527"}],"wp:attachment":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=525"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=525"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=525"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}