2 coding-theory PhD positions at CNRS

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

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

the teams that develop Elixir (Dashbit) and Erlang (Ericsson), with which the partners collaborate. Set-theoretic types for dynamic languages: meta-theory, modules, and inference The thesis is part of

PhD candidate (M/F) to develop optical metasurfaces for optical detection of ultrasound

CNRS | Marseille 13, Provence Alpes Cote d Azur | France | 3 months ago

of these sensors. - Access to the laboratory's experimental characterization facilities. - A collaborative and multidisciplinary environment at the interface of theory, modeling, and experimentation. Scientific