stillingsbetegnelse: Postdoc in Formal Methods in Computer Science

jobbeskrivelse:
DTU Compute would like to invite applications for one postdoc position starting January 2016 and ending in September 2017. The project is financed by the IDEA4CPS project funded by the Danish Foundation for Basic Research. The IDEA4CPS project 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, analyze and transform models in a coherent and meaningful way. DTU Compute represents a unique combination of mathematics and computer science, including competencies in information processing in the broadest sense, and in the development of modern computer based systems. Consequently, DTU Compute is in an ideal position to utilize the synergies arising at the crossroads between IT and mathematics, and we are therefore well positioned to address the challenges of the digital society. The scientific areas of DTU Compute cover theory, technology and engineering applications, ranging from fundamental research to innovative products and public sector consultancy. We drive technology and abstract engineering challenges as mathematical models enabling analysis, design, synthesis and simulations. We communicate mathematical and computational results to society at large and gain valuable insights from which new research questions emerge. Responsibilities and tasks With this call we are interested in candidates that can interact with our research team within all of the following areas: •Developing static analyses for security and safety of cyber-physical systems. •Using advanced static analysis methods like abstract interpretation and type systems. •Providing semantic correctness results for the analyses developed. Qualifications 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 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 and 9 months. Further information Further information may be obtained from Professor Flemming Nielson at fine (at) dtu.dk. You can read more about DTU Compute on http://www.compute.dtu.dk. Application procedure Please submit your online application no later than 25 September 2015. 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) •CV •Diploma (an official translation into English) •List of publications 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 mathematics and computer science. The consistently expanding mass of information and the increasingly complex use of advanced technology in society demand development of advanced computer based mathematical models

Arbejdsgiver Navn: Danmarks Tekniske Universitet

Arbejdsgiver telefonnummer: 45252525

Arbejdsgiver faxnummer: 45881799

Job kort beskrivelse:
Undervisning og forskning på universiteter og højere læreranstalter

land: Danmark

region: Hovedstaden

krævede uddannelse: Ikke angivet

Kilde til jobtilbud: AMS, Offentlige arbejdsformidlinger, Danmark