{"id":218,"date":"2000-01-01T20:08:46","date_gmt":"2000-01-01T20:08:46","guid":{"rendered":"https:\/\/es-wordpress.fbk.eu\/?p=218"},"modified":"2021-04-12T10:33:31","modified_gmt":"2021-04-12T09:33:31","slug":"other-opportunities","status":"publish","type":"post","link":"https:\/\/es.fbk.eu\/index.php\/job-opportunities\/other-opportunities\/","title":{"rendered":"Other opportunities"},"content":{"rendered":"\n<p>We are currently seeking <strong>post-doc researchers<\/strong>&nbsp;in the following areas:<\/p>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>formal methods<\/strong>, model checking, temporal logics, model-based safety analysis, contract-based design, model-based diagnosis and diagnosability, runtime verification, automated test case generation<\/li><li><strong>model-based system engineering<\/strong>, architecture description languages (sysml, aadl, etc), integration of model-based design and formal methods, model-based code generation<\/li><li><strong>planning and scheduling<\/strong>, planning with temporal uncertainty, planning and SMT, robotics architectures, deliberation for robotics, planning and learning, reinforcement learning, reasoning with temporal and resource uncertainty (e.g. dynamic controllability of STNU)<\/li><\/ol>\n\n\n\n<p>If you are interested in working on these topics, please contact&nbsp;<a href=\"mailto:es-info@fbk.eu\"><\/a><a href=\"mailto:es-info@fbk.eu\">es-info@fbk.eu<\/a>&nbsp;&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>We are currently seeking post-doc researchers&nbsp;in the following areas: formal methods, model checking, temporal logics, model-based safety analysis, contract-based design, model-based diagnosis and diagnosability, runtime verification, automated test case generation model-based system engineering, architecture description languages (sysml, aadl, etc), integration of model-based design and formal methods, model-based code generation planning and scheduling, planning with temporal [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"off","_et_pb_old_content":"<!-- wp:paragraph -->\n<p>We are currently seeking <strong>post-doc researchers<\/strong>&nbsp;in the following areas:<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list {\"ordered\":true} -->\n<ol><li><strong>formal methods<\/strong>, model checking, temporal logics, model-based safety analysis, contract-based design, model-based diagnosis and diagnosability, runtime verification, automated test case generation<\/li><li><strong>model-based system engineering<\/strong>, architecture description languages (sysml, aadl, etc), integration of model-based design and formal methods, model-based code generation<\/li><li><strong>planning and scheduling<\/strong>, planning with temporal uncertainty, planning and SMT, robotics architectures, deliberation for robotics, planning and learning, reinforcement learning, reasoning with temporal and resource uncertainty (e.g. dynamic controllability of STNU)<\/li><\/ol>\n<!-- \/wp:list -->","_et_gb_content_width":"","footnotes":""},"categories":[10],"tags":[14,15],"class_list":["post-218","post","type-post","status-publish","format-standard","hentry","category-job-opportunities","tag-formal-methods","tag-model-based-design","et-doesnt-have-format-content","et_post_format-et-post-format-standard"],"_links":{"self":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/218","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/comments?post=218"}],"version-history":[{"count":11,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/218\/revisions"}],"predecessor-version":[{"id":4500,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/218\/revisions\/4500"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=218"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/categories?post=218"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/tags?post=218"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}