
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>Dear All,</div><div><br></div><div>We are pleased to announce the availability of one or two three-year PhD positions at the University of Lille, starting on <b>September 1, 2024</b>, as part of a European project.</div><div><br></div><div>These positions will focus on the intersection of:</div><div>* Formal proof in <b>Coq</b></div><div>* Separation logic </div><div>* Certified compilation</div><div>* Low-level code</div><div>* Mobile code</div><div><br></div><div>If you are interested in applying, please email me with a brief description of your background and research interests, along with your CV. Your CV should include the names and contact details of two references.</div><div><br></div><div>Candidates should have, or be close to completing, a master’s degree in computer science or mathematics.</div><div><br></div><div>We look forward to receiving your application.</div><div><br></div><div>Best regards,</div><div><br></div><div>David</div><br class="Apple-interchange-newline" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><div>

<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>-- <br>David Nowak<br>https://www.cristal.univ-lille.fr/~nowakd/</div></div>

</div>

<br></body></html>