[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear All, We are pleased to announce the availability of one or two three-year PhD positions at the University of Lille, starting on September 1, 2024, as part of a European project. These positions will focus on the intersection of: * Formal proof in Coq * Separation logic * Certified compilation * Low-level code * Mobile code 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. Candidates should have, or be close to completing, a master’s degree in computer science or mathematics. We look forward to receiving your application. Best regards, David -- David Nowak https://urldefense.com/v3/__https://www.cristal.univ-lille.fr/*nowakd/__;fg!!IBzWLUs!RuWrEpui9vleFE4ila7EOvwpJbvoniahabAWG2ZCcgpEIxCAre5ToAfUbz3_PKT7NV23NPxmxtvpe57-bs0h1YgNFKVyPRb8sl2Zbl5YPA$