University Grenoble Alpes plans to recruit a full professor, for the UFR IM²AG teatching component (Computer Science, Mathematics and Applied Mathematics), and VERIMAG as host laboratory.
Research area: Formal Methods for Cybersecurity.
The attached document describes the position in more detail.
