[TYPES/announce] PostDoc position at Inria Paris on Formally Secure Compilation in Coq

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, A PostDoc position is available in my group at Inria Paris on Formally Secure Compilation in Coq (https://secure-compilation.github.io). I am seeking outstanding candidates with a

[TYPES/announce] postdoc position at Inria Rennes

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The CELTIQUE team (https://team.inria.fr/celtique/) has a postdoc position available on the compilation of recursive functions to inductive definitions in Coq. To see details and to apply,

[TYPES/announce] Postdoc position at INRIA

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi everyone, we are looking for 2 postdocs at INRIA Sophia Antipolis, next to Nice, France. The successful candidate will join the project lead by Nataliia Bielova and Arnaud Legout to

[TYPES/announce] PostDoc position at INRIA / ENS Paris, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** PostDoc Position in the Parkas team, ENS Paris, France *** We are seeking applicants for a post-doctoral position to join a group working on the broad area of concurrency and

[TYPES/announce] postdoc position in INRIA Paris-Rocquencourt

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * Summary o Postdoc position: Deepsea Project, INRIA Rocquencourt-Paris o Duration: 2 (+1) Year o Area: programming languages o Note: Collaborations and extended stays at Carnegie Mellon