Logic List Mailing Archive

Postdoctoral position in formal methods, Kungens Lyngby (Denmark), Deadline: 10 Feb 2014

The IDEA4CPS center at DTU Applied Mathematics and Computer Science has a 
new opening for a postdoc.

With this call we are particularly interested in candidates that can 
interact with our research within one of the following areas:

(a) The integration of Satisfaction Modulo Theories with frameworks for 
quantitative analysis.

(b) The development of quantitative models and analysis for security, 
including methods based on entropy.

(c) Model checking for multi-criteria analysis and optimization of safety 
and security properties, including Pareto efficiency and equilibria.

Applications must be submitted by February 10'th, 2014 according to the 
procedure described at
     http://www.dtu.dk/english/career/afa8af12-c781-44f2-af74-d394660981fc 
that also point to the center (www.idea4cps.dk<http://www.idea4cps.dk>) 
and the research group 
(www.compute.dtu.dk/english/research/LBT<http://www.compute.dtu.dk/english/research/LBT>).

Hanne Riis Nielson & Flemming Nielson

--------------------------------------------------
Prof. Hanne Riis Nielson, DTU Compute - Department of Applied Mathematics 
and Computer Science