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.<\/p>\n
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.<\/p>\n
Responsibilities and tasks<\/strong> Qualifications We offer<\/strong> Salary and terms of employment<\/strong>
\nWith this call we are particularly interested in candidates that can interact with our research within one of the following areas:<\/p>\n\n
\n<\/strong>Candidates must have a PhD in Computer Science with emphasis on the use of formal methods. Excellent communication skills in English are essential.<\/p>\n
\nWe 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.<\/p>\n
\nThe 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.<\/p>\n