for a postdoctoral position on
logical foundations and formal methods for quantum programming languages. Topics of interest (non... discussions Supervision of interns, collaboration with PhD students The team investigates
logical foundations and formal... -
Voir cette offre d'emploi