2 PhD positions in Formal Methods for concurrent systems and security analysis available
2 Ph.D positions in the group of ``Precise modelling and analysis'' (PMA) and the ConSeRNS initiative available.
Application deadline: 13. April!
The deadline has expired.
Published Mar. 15, 2015 12:15 PM
- Last modified Oct. 31, 2018 2:48 PM