[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ce...@lix.polytechnique.fr
<mailto:ce...@lix.polytechnique.fr>
Best regards,
Constantin Enea
