Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD Positions Available at the University of L...

Email Gateway (May 31 2024 at 16:40):

From: David Nowak <david.nowak@univ-lille.fr>
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

Last updated: Jan 04 2025 at 20:18 UTC