Postdoc position in Formal Methods in Computer Science (Denmark)
DTU Compute would like to invite applications for a postdoc position starting in the Spring of 2014. The project is financed by the IDEA4CPS center funded by the Danish Foundation for Basic Research.
The IDEA4CPS center conducts research and develops mathematically well-founded and coherent models, methods, and tools that may serve as the foundation of a model-driven design methodology for cyber-physical systems. This means that design decisions, analysis, simulation, testing, code generation, etc. are always based upon models that reflect the relevant aspects of the design. This requires methods to maintain, manipulate, analyse and transform models in a coherent and meaningful way.
Responsibilities and tasks
With this call we are particularly interested in candidates that can interact with our research within one of the following areas:
- The integration of Satisfaction Modulo Theories with frameworks for quantitative analysis.
- The development of quantitative models and analysis for security, including methods based on entropy.
- Model checking for multi-criteria analysis and optimization of safety and security properties, including Pareto efficiency and equilibria.
Candidates must have a PhD in Computer Science with emphasis on the use of formal methods. Excellent communication skills in English are essential.
We offer an interesting and challenging job in an international environment focusing on education, research, public-sector consultancy and innovation, which contribute to enhancing the economy and improving social welfare. We strive for academic excellence, collegial respect and freedom tempered by responsibility. The Technical University of Denmark (DTU) is a leading technical university in northern Europe and benchmarks with the best universities in the world.
Salary and terms of employment
The appointment will be based on the collective agreement with the Confederation of Professional Associations. The allowance will be agreed with the relevant union. The period of employment is 1 year subject to negotiation.
The IDEA4CPS center is described at www.idea4cps.dk. The Language Based Technology section in which the work will take place is described at www.compute.dtu.dk/english/research/LBT.
Further information concerning the available position can be obtained from Professor Flemming Nielson email@example.com
Please submit your online application no later than 10th February 2014. Applications must be submitted as one PDF file containing all materials to be given consideration. To apply, please open the link « Apply online, » fill in the online application form, and attach all your materials in English in one PDF file. The file must include:
- Application (cover letter)
- PhD diploma
- List of publications
Candidates may apply prior to obtaining their PhD-degree, but cannot begin before having received it.
Applications and enclosures received after the deadline will not be considered.
All interested candidates irrespective of age, gender, disability, race, religion or ethnic background are encouraged to apply.
DTU Compute conducts research and education in the fields of mathematical modeling and computer science. The expanding mass of information and the increasingly complex use of advanced technology in society demand development of advanced computer based mathematical models and calculations. The unique competences of the department are in demand in IT innovation and production.
DTU is a technical university providing internationally leading research, education, inno- vation and public service. Our staff of 5,000 advance science and technology to create innovative solutions that meet the demands of society; and our 9,000 students are educated to address the technological challenges of the future. DTU is an independent academic university collaborating globally with business, industry, government, and public agencies.