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

, type systems, and models for probabilistic programming languages. Permanent members : A. Saurin, T. Ehrhard, C. Faggian, P...) Quantum causal models Type systems for quantum languages Research within the Proofs & Programs team Participation...

Lugar: Paris | 19/01/2026 21:01:42 PM | Salario: S/. No Especificado | Empresa: CNRS

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

models Type systems for quantum languages Research within the Proofs & Programs team Participation in seminars and team... methods for quantum programming languages leveraging on a strong expertise in linear logic, lambda calculus, type systems...

Lugar: Paris | 19/01/2026 01:01:17 AM | Salario: S/. No Especificado

Supply Chain Director

to build the systems that will take us to the next level. Your mission: build a supply chain that delivers faster, costs...’s future scale. The team around you You will be part of the C-level team with a direct input of the scale’ strategy...

Lugar: Avignon, Vaucluse | 19/01/2026 01:01:20 AM | Salario: S/. €80000 - 100000 per year | Empresa: Hubcycle

Documentalist

;Experience is Document Management Systems (DMS): Experience with ECLIPSE is desirable or similar systems (e.g., SharePoint... et favoriser un environnement de travail respectueux. C'est pourquoi, attachés à la mixité et à la diversité, nous encourageons...

Lugar: Toulouse | 18/01/2026 03:01:13 AM | Salario: S/. No Especificado | Empresa: Sopra Steria