{"id":7393,"date":"2023-07-17T12:09:32","date_gmt":"2023-07-17T10:09:32","guid":{"rendered":"http:\/\/talentimpulse-cea.com-et-net.com\/post-docs\/exploitation-des-methodes-formelles-pour-la-gestion-des-interferences-au-sein-des-systemes-embarques-h-f\/"},"modified":"2026-05-05T09:00:04","modified_gmt":"2026-05-05T07:00:04","slug":"exploitation-des-methodes-formelles-pour-la-gestion-des-interferences-au-sein-des-systemes-embarques-h-f","status":"publish","type":"post-docs","link":"https:\/\/talentimpulse.cea.fr\/en\/post-docs\/exploitation-des-methodes-formelles-pour-la-gestion-des-interferences-au-sein-des-systemes-embarques-h-f\/","title":{"rendered":"Application of formal methods for interferences management"},"content":{"rendered":"<p>Within a multidisciplinary technological research team of experts in SW\/HW co-design tools by applying formal methods, you will be involved in a national research project aiming at developing an environment to identify, analyze and reduce the interferences generated by the concurrent execution of applications on a heterogeneous commercial-off-the-shelf (COTS) multi-core hardware platform.<\/p>","protected":false},"featured_media":0,"template":"","categories":[188],"tags":[],"class_list":["post-7393","post-docs","type-post-docs","status-publish","hentry","category-cybersecurite-hardware-et-software"],"acf":[],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/post-docs\/7393","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/post-docs"}],"about":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/types\/post-docs"}],"wp:attachment":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/media?parent=7393"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/categories?post=7393"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/tags?post=7393"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}