Researcher (M/F) - Scenario-based formal proofs for concurrent software

Ente: CNRS - National Center for Scientific Research

Scadenza: 2026-08-22

Paese: FR

Descrizione

The primary objective of this position is to develop new algorithms for the formal verification of concurrent or distributed systems. Modern software increasingly employs concurrent programming to leverage the performance benefits of multi-core architectures. In particular, deep learning model...

Settori: Computer scienceMathematics»Algorithms

Vai al bando originale

Registrati gratis su Bandolo per trovare bandi compatibili con la tua azienda.