Webpages tagged with «ledig stipendiat stilling»

Published Mar. 16, 2016 4:20 PM

2 Ph.D positions in the group of ``Precise modelling and analysis'' (PMA) announced.

 

A detailed description for the 2 positions  is found under.

 

- Project 1: Analysis of non-functional properties in concurrent systems

- Project 2: Safety of agents

 

Application deadline: 15 April!

The deadline has expired.

Published Dec. 17, 2015 5:10 PM

There are  three Ph.D positions in the area of formal methods for analyzing security properties in concurrent and distributed programs.

One Ph.D position is connected to the ConSeRNS initiative, targeting research challenges in security and robustness of ICT infrastructures.

The second Ph.D position is connected to the IoTSec project, targeting security in Internet-of-Things (IoT) for Smart Grids. Both positions have application deadline January 31st 2016.

A third PhD is targeting security in Internet-of-Things (IoT) for Smart Grids, being an Industrial PhD position, also connected to the  IoTSec project.  More information on the IoTSec positions is available at http://IoTSec.no/phd<http://iotsec.no/phd>

Application deadline: 31 January!

The deadline has expired.

Published Mar. 15, 2015 12:15 PM

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.