<html><head></head><body><div>Hello,</div><div><br></div><div>The Frama-C team is opening a new PhD position on E-ACSL, the runtime annotation checker of Frama-C.</div><div>The team is part of <span style="font-size: 14.666667px;">Software Safety and Security Lab of </span>CEA List, located at Paris-Saclay, France.</div><div><br></div><div>More details available online: <a href="https://urldefense.com/v3/__https://www.frama-c.com/jobs/2025-01-20-multistate-rac.html__;!!IBzWLUs!W3fo1k0t8R3RBGNGnYkuAafHknHbx2g3PxIrYgeRuRcV8EJqNqtQT-EVlRNj7xez9BrboYboFjYEbozRiQcJj0F_9pVWTWj82kyvRXox$">https://www.frama-c.com/jobs/2025-01-20-multistate-rac.html</a></div><div><br></div><div>Feel free to contact me for any question.</div><div><br></div><div>Best regards,</div><div>Julien Signoles</div><pre style="caret-color: rgb(61, 61, 61); color: rgb(61, 61, 61); font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; widows: auto; word-spacing: 0px; -webkit-tap-highlight-color: rgba(0, 0, 0, 0.4); -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none;"><font size="2"><br></font></pre><pre style="caret-color: rgb(61, 61, 61); color: rgb(61, 61, 61); font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; widows: auto; word-spacing: 0px; -webkit-tap-highlight-color: rgba(0, 0, 0, 0.4); -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none;"><font size="2">Research Director | Scientific advisor</font></pre><pre style="caret-color: rgb(61, 61, 61); color: rgb(61, 61, 61); font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; widows: auto; word-spacing: 0px; -webkit-tap-highlight-color: rgba(0, 0, 0, 0.4); -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none;"><font size="2">CEA List, Software Safety and Security Lab | Department of Software and System Engineering</font></pre><pre style="caret-color: rgb(61, 61, 61); color: rgb(61, 61, 61); font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; widows: auto; word-spacing: 0px; -webkit-tap-highlight-color: rgba(0, 0, 0, 0.4); -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none;"><font size="2"><a href="mailto:Julien.Signoles@cea.fr" title="Click to mail Julien.Signoles@cea.fr">Julien.Signoles@cea.fr</a> | tel:(+33)1.69.08.00.18</font></pre><br class="Apple-interchange-newline"><div><span></span></div></body></html>