Project-team PASCALINE Computer Arithmetic, Computer Algebra and Formal Verification Computer Arithmetic, Computer Algebra and Formal Verification
Centre(s) inria Inria Lyon Centre In partnership with Ecole normale supérieure de Lyon,Université Claude Bernard (Lyon 1),CNRS Publications HALActivity reports Contacts Nicolas Brisebarre Team leader Chiraz Benamor Team assistant News Job opportunities Post-Doctoral Research Visit F/M Bridging the gap between a safe programming language and a formal proof Deadline to apply 27/04/2025 See more news Discover similar project-teams about the same theme
Job opportunities Post-Doctoral Research Visit F/M Bridging the gap between a safe programming language and a formal proof Deadline to apply 27/04/2025
