{"id":9163,"date":"2023-12-02T09:00:09","date_gmt":"2023-12-02T08:00:09","guid":{"rendered":"https:\/\/talentimpulse.cea.fr\/offre-emploi\/exploitation-des-methodes-formelles-pour-la-gestion-des-interferences-au-sein-des-systemes-embarques-h-f\/"},"modified":"2026-03-02T09:00:06","modified_gmt":"2026-03-02T08:00:06","slug":"exploitation-des-methodes-formelles-pour-la-gestion-des-interferences-au-sein-des-systemes-embarques-h-f","status":"publish","type":"offre-emploi","link":"https:\/\/talentimpulse.cea.fr\/en\/offre-emploi\/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-9163","offre-emploi","type-offre-emploi","status-publish","hentry","category-cybersecurite-hardware-et-software"],"acf":[],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/offre-emploi\/9163","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/offre-emploi"}],"about":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/types\/offre-emploi"}],"wp:attachment":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/media?parent=9163"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/categories?post=9163"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/tags?post=9163"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}