3 proof-checking-postdoc-computerscience PhD positions at CNRS

PhD student in computer science: set-theoretic types for dynamic languages (M/F)

CNRS | Paris 13, le de France | France | 10 days ago

Institut de Recherche en Informatique Fondamentale (IRIF, UMR 8243, CNRS and Université Paris Cité), Bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris, in the "Proofs, programs and systems

Doctoral position on the study of Mediterranean post-fire ecosystems M/F

CNRS | Reims, Champagne Ardenne | France | about 2 months ago

microbiome composition, specialized metabolism, and ecological restoration. - **Activity 5:** Establish a proof of concept demonstrating that the holobiont is a functional element involved in plant resilience

PhD (M/F) Exploring Structural and Statistical Distinguishers for Symmetric-Key Ciphers

CNRS | Vand uvre les Nancy, Lorraine | France | 3 months ago

these types is primordial: we must ensure the ciphers in use are resistant to state-of-the-art attack techniques to confidently continue using it, while before adopting a new cipher we must check its resistance