Applications are invited for a position of Associate Professor at the Department of Computer Science, University of Aarhus. The position is open from May 1995 and the annual salary is in the range DKK 300,000-380,000 including contribution to pension fund.
The position is to be filled to strengthen the Department's activities in the computer science research areas of formal semantics and logic. In particular, applicants with a broad research and teaching background in analysis, verification, and construction of computer systems and programs are sought.
Applications should include a curriculum vitae giving evidence on which the evaluation of the applicant's scientific and teaching qualifications can be based, and a complete list of publications together with three copies of each of those publications which the applicant selects as the most relevant for the application. Other supportive material should also be submitted in three copies.
The selection committee may include further material from the list of publications in its evaluation of the applicant. In that case the applicant should, upon request, submit the material to the selection committee. The selection committee's written evaluation of the applicants will be sent in full to all applicants.
Applications marked 212/5-03 should be addressed to
The Faculty of Natural Sciences, University of Aarhus
Ny Munkegade, Building 520, DK-8000 Aarhus C, Denmark
The deadline for the receipt of all application material is March 16, 1995, at 12.00.
For more information, please, contact
Karen K. Moller, e-mail: kkmoller@daimi.aau.dk
phone: +45 8942 3188 direct: +45 8942 3262. Fax: +45 8942 3255