04/09 Associate/Assistant Professor in Language Based Technology

Applications are invited for one or more positions as Associate or Assistant Professor at DTU Informatics. The positions are available from January 1st 2010.

The department covers informatics and mathematical modelling. The section on “Language Based Technology” focuses on modelling, analysis and realisation of systems using language-based techniques and tools – in particular, static analysis and model checking. The systems of interest include concurrent, distributed and mobile systems where reliability and predictability are essential – hence properties related to safety, security and performance are of key interest. The section is heading a VKR Centre of Excellence, MT-LAB – Modelling of Information Technology, that aims to exploit synergies between mathematical modelling (in particular stochastics) and formal verification techniques. Please consult the web pages www.imm.dtu.dk/English/Research/Language-Based_Technology.aspx and www.mt-lab.dk/ for more information.

We seek applicants who can contribute to and strengthen the research profile of the “Language Based Technology” section within one or more of the above areas.

Qualifications
Applicants for an assistant professorship must hold a PhD degree or similar and preferably some postdoctoral experience. Applicants for an associate professorship must have experience at least as assistant professors or similar qualifications, including teaching experience. The successful applicants are expected to participate in departmental teaching at all levels.

In the assessment of the applicants, consideration will be given to

scientific production and research potential
the ability to promote and utilize research results
the ability to teach at all levels (bachelor, master and PhD)
an all-round experience, preferably including international experience
the ability to contribute to the development of the department’s internal and external cooperation
Salary and appointment terms
The salary and appointment terms are negotiated in accordance with the current collective agreement for Danish University faculty members.

Further information
Further information may be obtained from the Head of the section on Language Based Systems, Professor Hanne Riis Nielson, tel.: +45 4525 3736; email: riis@imm.dtu.dk.

All interested candidates irrespective of age, gender, race, religion or ethnic background are encouraged to apply.

Application procedure

游客，如果您要查看本帖隐藏内容请回复