<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">



















</div></blockquote><div><p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif">The BINSEC
team ( <a href="https://urldefense.com/v3/__https://binsec.github.io__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkSc1OtTRD1$"><span style="color:windowtext">https://binsec.github.io</span></a> ) opens postdoc,
PhD student and research intern positions in software security and program
analysis.</span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif"> </span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><b><span style="font-size:11pt;font-family:"Calibri",sans-serif">START</span></b><span style="font-size:11pt;font-family:"Calibri",sans-serif">: as soon as
possible. <b>DURATION</b>: 2-3 years (postdoc), 3 years (PhD), 2.5-6 months
(intern).</span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><b><span style="font-size:11pt;font-family:"Calibri",sans-serif">GOALS</span></b><span style="font-size:11pt;font-family:"Calibri",sans-serif">: vulnerability
detection and analysis, software reverse engineering and deobfuscation,
binary-level formal verification and code protection</span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><b><span style="font-size:11pt;font-family:"Calibri",sans-serif">TECHNIQUES</span></b><span style="font-size:11pt;font-family:"Calibri",sans-serif">: symbolic execution,
static analysis, fuzzing, program synthesis, SMT solvers</span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif"> </span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif">       <span style="color:rgb(0,0,0)"> <a href="https://urldefense.com/v3/__https://binsec.github.io/jobs__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkSc97d_y9U$">https://binsec.github.io/jobs</a></span>  </span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif"> </span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><b><span style="font-size:11pt;font-family:"Calibri",sans-serif">== ABOUT
US</span></b><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif"> </span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><b><span style="font-size:11pt;font-family:"Calibri",sans-serif">OUR TEAM</span></b><span style="font-size:11pt;font-family:"Calibri",sans-serif"> -  The
BINary-level SECurity research group (BINSEC) is a dynamic team of a dozen of researchers, which offers a stimulating and open-minded work
environment in English. The group has frequent publications in top-tier
security, formal methods and software engineering conferences. It is part of CEA
(one of the main French research organisations, employing more than 20k
researchers and persistently ranked as a top global innovator) and of
Université Paris-Saclay (the world’s 16th and European Union’s 1st university,
according to the Shanghai ARWU Ranking in 2022).</span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif"> </span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><b><span style="font-size:11pt;font-family:"Calibri",sans-serif">OUR WORK</span></b><span style="font-size:11pt;font-family:"Calibri",sans-serif"> - The team has strong expertise in several code analysis approaches, namely symbolic
execution, abstract interpretation and fuzzing. We apply these techniques to
improve software security, covering notably vulnerability detection and
analysis, code (de)obfuscation and formal verification. See our website at <a href="https://urldefense.com/v3/__https://binsec.github.io__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkSc1OtTRD1$" id="m_5551804146777846133gmail-LPlnk785697" style="color:rgb(5,99,193);text-decoration:underline" target="_blank"><span style="color:windowtext">https://binsec.github.io</span></a> for
additional information.</span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif"> </span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><b><span style="font-size:11pt;font-family:"Calibri",sans-serif">==
APPLICATION</span></b><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif"> </span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif">Candidates
should send a CV to <a href="mailto:binsec-jobs@saxifrage.saclay.cea.fr" style="color:rgb(5,99,193);text-decoration:underline" target="_blank"><span style="color:windowtext">binsec-jobs@saxifrage.saclay.cea.fr</span></a> as soon
as possible. Applications will be reviewed as they arrive (first come, first
served), depending on our availability, and additional information may be
requested from you. <b>Please read the detailed job offer to prepare your
application in the best way:</b></span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif"> </span><span></span></p>

<p style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:"Times New Roman",serif"><span style="font-size:11pt;font-family:"Calibri",sans-serif">       

<span style="font-size:11pt;font-family:"Calibri",sans-serif"><span style="color:rgb(0,0,0)"> <a href="https://urldefense.com/v3/__https://binsec.github.io/jobs__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkSc97d_y9U$">https://binsec.github.io/jobs</a></span>   </span></span><span></span></p>

<p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:"Calibri",sans-serif"><span><span> </span></span></p>

<p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:"Calibri",sans-serif"><span lang="FR"><span>  <br></span></span></p>

<p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:"Calibri",sans-serif"><a name="m_5551804146777846133__MailAutoSig"><span lang="FR">---<span></span></span></a></p>

<p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:"Calibri",sans-serif"><span><span lang="FR">Dr. Michaël Marcozzi<span></span></span></span></p>

<p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:"Calibri",sans-serif"><span><span lang="FR">Tenured Researcher<span></span></span></span></p>

<p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:"Calibri",sans-serif"><span><span lang="FR">Université Paris-Saclay, CEA, List<span></span></span></span></p>

<p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:"Calibri",sans-serif"><span><span lang="FR">Twitter: </span></span><a href="https://urldefense.com/v3/__https://twitter.com/michaelmarcozzi__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkScx-d5qIg$" style="color:rgb(5,99,193);text-decoration:underline" target="_blank"><span><span lang="FR">@michaelmarcozzi</span></span><span></span></a><span><span lang="FR"><span></span></span></span></p>

<p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:"Calibri",sans-serif"><span></span><a href="https://urldefense.com/v3/__http://www.marcozzi.net/__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkSc5j4MXbo$" style="color:rgb(5,99,193);text-decoration:underline" target="_blank"><span><span lang="FR">www.marcozzi.net</span></span><span></span></a><span><span lang="FR"> <span></span></span></span></p>

<p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:"Calibri",sans-serif"><span><span><span> </span></span></span></p></div><blockquote class="gmail_quote" style="margin:0px 0.8ex;border-left:1px solid rgb(204,204,204);border-right:1px solid rgb(204,204,204);padding-left:1ex;padding-right:1ex"><div dir="ltr">





</div>
</blockquote></div></div>