[TYPES/announce] PhD/postdoc positions in formal verification at Ecole Polytechnique, Paris, France

[Constantin Enea]

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 (https://urldefense.com/v3/__http://www.lix.polytechnique.fr/*cenea/__;fg!!IBzWLUs!QBlw4tesVyOFF1NwbuzKOZnDxyBGVbGD077IQ5yqgmWin0AcuEytIu0zPY3t4OehunzawHZySz8VxuDCL_1yBAuKNHHX_4ulQ4bysSki$ ) 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. 

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. 

Interested candidates should send their application (CV, references, motivation letter) via e-mail at cenea at lix.polytechnique.fr <mailto:cenea at lix.polytechnique.fr>

Best regards,
Constantin Enea
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240101/6bb0f9b7/attachment.htm>