Project-team OLAS Operational, Logical, and Algebraic foundations for Software systems Operational, Logical, and Algebraic foundations for Software systems
Centre(s) inria Inria Centre at Université Côte d'Azur In partnership with Université de Bologne (Italie) Publications HALActivity reports Contacts Davide Sangiorgi Team leader Christine Claux Team assistant News Job opportunities PhD Position F/M Formal Verification of Higher-Order, Probabilistic Programs Deadline to apply 31/07/2025 See more news Discover similar project-teams about the same theme
Job opportunities PhD Position F/M Formal Verification of Higher-Order, Probabilistic Programs Deadline to apply 31/07/2025
