PhD/Postdoc Positions in Formal Verification: Ecole Polytechnique in Paris, France, invites applications for PhD student or postdoc positions under the supervision of Constantin Enea in the field of formal verification and analysis techniques. Successful candidates will contribute to the development of reliable software systems, with research topics tailored to common interests of the candidate and the supervisor, spanning theoretical and practical domains such as formal verification of concurrent data structures, distributed protocols, or neural networks.
Designation:
- PhD Student
- Postdoctoral Researcher
Research Area: Candidates will focus on formal verification and analysis techniques, contributing to the construction of reliable software systems. Research topics may include but are not limited to:
| Theoretical Topics | Practical Topics |
|---|---|
| Formal Verification of Concurrent Data Structures | Formal Verification of Neural Networks |
| Formal Verification of Distributed Protocols |
Location: Ecole Polytechnique, Paris, France
Eligibility/Qualification:
- For PhD Position: Master’s degree in computer science or a related field
- For Postdoc Position: PhD in computer science or a related field
- Strong background in computer science
- Interest in formal methods, programming languages, and algorithms
- Minimal experience in software development
Job Description:
- Engage in research on formal verification and analysis techniques
- Contribute to the development of reliable software systems
- Collaborate with the supervisor on theoretical or practical research topics
- Focus areas include concurrent data structures, distributed protocols, or neural networks
How to Apply: Interested candidates should send their application, including CV, references, and a motivation letter, via email to Constantin Enea at cenea@lix.polytechnique.fr.
Last Date for Apply: Until position filled
For more information, visit Constantin Enea’s webpage.
