Two postdoc positions are available
at DTU Informatics in the Language Based Technology Section. The
activities of the department spans from computer science to applied
mathematics and the activities of the Language Based Technology section
focuses on modelling, analysis and realisation of IT Systems.
The MT-LAB postdoc position is available from July 1’st 2012 until October 31’st 2013. It is funded by MT-LAB (see www.MT-LAB.dk), a VKR Centre of Excellence, focusing on the Modelling of IT Systems. The postdoc will work on developing a language that would combine traditional imperative, functional or concurrent language constructs with declarative specifications of a numerical and logical kind, with the ability to specify optimization goals and uncertainty degree for the events. Solution methods and tool support for the language should be developed as well. The application domain is a user interface to Smart Meters but other domains (transportation, hospital systems) are envisioned as well.
The IDEA4CPS post doc position is available from July 1’st 2012 until March 31’st 2014. It is funded by IDEA4CPS (see www.IDEA4CPS.dk) awarded by the Danish Foundation for Basic Research. The postdoc should investigate the use of model checking to provide designers with information about the Pareto frontier between security and energy constraints, develop a stochastic approach to modelling security where the stochastic delays can be accurately modelled, and advancing the state-of-the-art on security assessment techniques towards integrated methods in which energy-harvesting networks will be considered explicitly.
The applicant should clearly indicate which position he or she is applying for and should explain their background for performing the work described as well as document their qualifications as listed below.
QualificationsCandidates must hold a PhD degree (or equivalent).
The MT-LAB applicant needs to document knowledge in constraint programming and constraint solving methods (for example, Z3 solver). Knowledge in language design and the application domains would be preferable.
The IDEA4CPS applicant needs to document knowledge in the area of security of cyber-physical systems, from the perspective of verification, and skills in quantitative analysis approaches, amenable to automation, with specific interest in methodologies such as probabilistic model checking.
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.
Further information
Further information may be obtained from Professor Flemming Nielson, tel: +45 4525 3735.
You can read more about DTU Informatics on www.imm.dtu.dk.
Application procedure
We must have your online application by 16 March 2012. Please open the link in the grey bar below "apply for this job online" and fill in the online application form and attach your application and CV. The material that should be given consideration in the assessment must be attached.
All interested candidates irrespective of age, gender, race, religion or ethnic background are encouraged to apply.
Further Information
Application Deadline : 16 March 2012
The MT-LAB postdoc position is available from July 1’st 2012 until October 31’st 2013. It is funded by MT-LAB (see www.MT-LAB.dk), a VKR Centre of Excellence, focusing on the Modelling of IT Systems. The postdoc will work on developing a language that would combine traditional imperative, functional or concurrent language constructs with declarative specifications of a numerical and logical kind, with the ability to specify optimization goals and uncertainty degree for the events. Solution methods and tool support for the language should be developed as well. The application domain is a user interface to Smart Meters but other domains (transportation, hospital systems) are envisioned as well.
The IDEA4CPS post doc position is available from July 1’st 2012 until March 31’st 2014. It is funded by IDEA4CPS (see www.IDEA4CPS.dk) awarded by the Danish Foundation for Basic Research. The postdoc should investigate the use of model checking to provide designers with information about the Pareto frontier between security and energy constraints, develop a stochastic approach to modelling security where the stochastic delays can be accurately modelled, and advancing the state-of-the-art on security assessment techniques towards integrated methods in which energy-harvesting networks will be considered explicitly.
The applicant should clearly indicate which position he or she is applying for and should explain their background for performing the work described as well as document their qualifications as listed below.
QualificationsCandidates must hold a PhD degree (or equivalent).
The MT-LAB applicant needs to document knowledge in constraint programming and constraint solving methods (for example, Z3 solver). Knowledge in language design and the application domains would be preferable.
The IDEA4CPS applicant needs to document knowledge in the area of security of cyber-physical systems, from the perspective of verification, and skills in quantitative analysis approaches, amenable to automation, with specific interest in methodologies such as probabilistic model checking.
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.
Further information
Further information may be obtained from Professor Flemming Nielson, tel: +45 4525 3735.
You can read more about DTU Informatics on www.imm.dtu.dk.
Application procedure
We must have your online application by 16 March 2012. Please open the link in the grey bar below "apply for this job online" and fill in the online application form and attach your application and CV. The material that should be given consideration in the assessment must be attached.
All interested candidates irrespective of age, gender, race, religion or ethnic background are encouraged to apply.
Further Information
Application Deadline : 16 March 2012
