{"id":4559,"date":"2021-04-12T09:35:35","date_gmt":"2021-04-12T08:35:35","guid":{"rendered":"https:\/\/es-wordpress.fbk.eu\/?p=4559"},"modified":"2021-04-12T10:32:12","modified_gmt":"2021-04-12T09:32:12","slug":"researcher-on-formal-verification-of-complex-control-systems","status":"publish","type":"post","link":"https:\/\/es.fbk.eu\/index.php\/job-opportunities\/researcher-on-formal-verification-of-complex-control-systems\/","title":{"rendered":"Researcher on Formal Verification of Complex Control Systems"},"content":{"rendered":"\n\n\n\n\n[et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.8.2&#8243; _module_preset=&#8221;default&#8221;][et_pb_row _builder_version=&#8221;4.8.2&#8243; _module_preset=&#8221;default&#8221;][et_pb_column _builder_version=&#8221;4.8.2&#8243; _module_preset=&#8221;default&#8221; type=&#8221;4_4&#8243;][et_pb_text _builder_version=&#8221;4.8.2&#8243; _module_preset=&#8221;default&#8221; hover_enabled=&#8221;0&#8243; sticky_enabled=&#8221;0&#8243;]<p><span>The open research position is in the field formal verification of complex control systems. The expected activities include the development of formal verification techniques and their integration in model-based design environments; model checking of control systems and their interaction with hybrid models of the physical plants; contract-based compositional reasoning;\u00a0 model-based safety analysis, fault detection and diagnosis; software development for tools such as nuXmv, OCRA, xSAP, Kratos, COMPASS, and TASTE; training support, and document generation for technology transfer.<\/span><\/p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]\n\n\n\n\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":5,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"categories":[10],"tags":[],"class_list":["post-4559","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\/4559","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=4559"}],"version-history":[{"count":7,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/4559\/revisions"}],"predecessor-version":[{"id":4566,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/4559\/revisions\/4566"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=4559"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/categories?post=4559"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/tags?post=4559"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}