{"id":4666,"date":"2021-07-20T09:08:44","date_gmt":"2021-07-20T08:08:44","guid":{"rendered":"https:\/\/es.fbk.eu\/?p=4666"},"modified":"2021-07-20T09:13:56","modified_gmt":"2021-07-20T08:13:56","slug":"research-position-in-the-field-of-planning-and-scheduling-for-digital-industry-and-robotics","status":"publish","type":"post","link":"https:\/\/es.fbk.eu\/index.php\/job-opportunities\/research-position-in-the-field-of-planning-and-scheduling-for-digital-industry-and-robotics\/","title":{"rendered":"Research position in the field of planning and scheduling for digital industry and robotics"},"content":{"rendered":"\n[et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;3.22&#8243;][et_pb_row _builder_version=&#8221;3.25&#8243; background_size=&#8221;initial&#8221; background_position=&#8221;top_left&#8221; background_repeat=&#8221;repeat&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;3.25&#8243; custom_padding=&#8221;|||&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.9.4&#8243; background_size=&#8221;initial&#8221; background_position=&#8221;top_left&#8221; background_repeat=&#8221;repeat&#8221; hover_enabled=&#8221;0&#8243; sticky_enabled=&#8221;0&#8243;]<p><span>The research position is in the field of <em>automated planning and scheduling<\/em>.\u00a0The expected activities include the development of novel temporal planning and\/or scheduling techniques based on heuristic search, machine learning and Satisfiability Modulo theories and their integration in real-world systems including robotic applications and flexible manufacturing environments; monitoring and execution components for autonomous systems; software development of prototypical integrated solutions; training support, and document generation for technology transfer.<\/span><\/p>\n<p><span>The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the unit. Moreover, the candidate is expected also to interact with industrial partners and partners of research projects.<\/span><\/p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":9,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"<!-- wp:paragraph -->\n<p>A <strong>PhD position<\/strong> is available on the topic of Safety analysis for space and avionics systems and software, in collaboration with the PhD in Security, Risk and Vulnerability of the University of Genova. For more information, visit the <a rel=\"noreferrer noopener\" href=\"https:\/\/sicurezza.unige.net\/admission\/how-to-apply\/themes-csrai\" target=\"_blank\">PhD Program web page<\/a>.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><strong>Abstract<\/strong>: Space and avionics systems are reaching an unprecedented degree of complexity. The process of safety analysis attempts to characterize the likelihood of faults and failures, and to assess the effectiveness of the adopted mitigation measures. Unfortunately, traditional techniques are becoming ineffective, unable to deal with large-scale systems. This thesis will investigate novel methods for safety analysis, based on the adoption of formal models of system and software (nominal and faulty) behaviors. Particularly interesting are the analysis of timing aspects in the propagation of multiple faults to failures and errors, the ability to explain the causality of propagation, and the definition of techniques for on-the-fly fault detection, isolation and recovery policies.<\/p>\n<!-- \/wp:paragraph -->","_et_gb_content_width":"","footnotes":""},"categories":[10],"tags":[],"class_list":["post-4666","post","type-post","status-publish","format-standard","hentry","category-job-opportunities","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\/4666","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\/9"}],"replies":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/comments?post=4666"}],"version-history":[{"count":7,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/4666\/revisions"}],"predecessor-version":[{"id":4673,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/4666\/revisions\/4673"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=4666"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/categories?post=4666"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/tags?post=4666"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}