Project-team DEVINE DEpendable distributed systems: formal VerificatIoN made Efficient DEpendable distributed systems: formal VerificatIoN made Efficient
Centre(s) inria Inria Centre at Rennes University In partnership with CNRS Publications HALActivity reportsTeam's website Contacts Nathalie Bertrand Team leader Laurence Dinh Team assistant News Job opportunities Post-Doctoral Research Visit F/M Post-doc position in Games for verification Deadline to apply 23/07/2024 See more news Discover similar project-teams about the same theme
Job opportunities Post-Doctoral Research Visit F/M Post-doc position in Games for verification Deadline to apply 23/07/2024