2 formal-method-phd Postdoctoral positions at CNRS

M/F Postdoc in the theory of quantum programming languages at IRIF

CNRS | Paris 13, le de France | France | about 1 month ago

• Supervision of interns, collaboration with PhD students The team investigates logical foundations and formal methods for quantum programming languages leveraging on a strong expertise in linear logic, lambda

Postdoctoral fellow in Science Education and well-being psychology (M/F)

CNRS | Saint Martin, Midi Pyrenees | France | about 1 month ago

engineering; Formal methods, models, and languages; Interactive and cognitive systems; Distributed systems, parallel computing, and networks. The successful candidate will work closely with teams specializing