<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Applications are invited for PhD student or postdoc positions at Ecole Polytechnique in Paris, France. The successful candidates will work under the supervision of Constantin Enea (<a href="https://urldefense.com/v3/__http://www.lix.polytechnique.fr/*cenea/__;fg!!IBzWLUs!QBlw4tesVyOFF1NwbuzKOZnDxyBGVbGD077IQ5yqgmWin0AcuEytIu0zPY3t4OehunzawHZySz8VxuDCL_1yBAuKNHHX_4ulQ4bysSki$" target="_blank">http://www.lix.polytechnique.fr/~cenea/</a>) on formal verification and analysis techniques to help the construction of reliable software systems. The particular research topic will be determined based on the common interests of the candidate and the supervisor, and can be either theoretical or practical. Possible areas include formal verification of concurrent data structures, distributed protocols, or neural networks. </div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Candidates should have a strong background in computer science with an interest in formal methods, programming languages, and algorithms. Some minimal experience with software development is also required. </div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Interested candidates should send their application (CV, references, motivation letter) via e-mail at <a href="mailto:cenea@lix.polytechnique.fr" target="_blank">cenea@lix.polytechnique.fr</a></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Best regards,</div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Constantin Enea</div></body></html>