2 information-security-"https:"-"https:"-"https:"-"https:"-"https:"-"Bath-Spa-University" positions at Université d'Orléans

Parallélisme implicite pour les traitements de données biologiques // Implicit Parallelism for Biological Data Processing

Université d'Orléans | Orleans, Centre | France | 1 day ago

24 Mar 2026 Job Information Organisation/Company Université d'Orléans Research Field Computer science » Informatics Researcher Profile Recognised Researcher (R2) Leading Researcher (R4) First Stage

DC3 - Estimation ensembliste distribuée sécurisée dans les systèmes commutés en réseau // DC3 - Secure distributed set-based state estimation in networked switched systems

Université d'Orléans | Orleans, Centre | France | 29 days ago

satisfiability checkers. To provide precise robust guarantees for state inclusion, which is a crucial feature to ensure safety in CI operation, secure set-based estimators have been introduced. These state