[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
More info at http://tinyurl.com/5aqbrh Application deadline; May 15, 2008. Reference number 2008/93 Chalmers University of Technology seeks applicants for a professorship in Software Engineering with experience of projects in cooperation with industry. The focus of the position is on verification and validation of software. The position will be placed at the IT University of Gothenburg which is part of both Chalmers University of Technology and University of Gothenburg. The IT University offers a meeting place between academia, society and industry. Under the umbrella of the IT University are the Department of Computer Science and Engineering and the Department of Applied IT, both joint between Chalmers and University of Gothenburg. Profile and focus The position covers theories, methods, and tools for software verification, including both formal verification and testing. The focus is on both engineering and management of software quality, covering technical and process-oriented aspects for industrial scale systems. Qualifications To be qualified for a position as professor requires a relevant PhD and an international track record of academic research in the IT area, demonstrated by a list of publications, documented scientific and pedagogical skills and an ability to take leadership in research. We seek applicants that can define and execute research programs in which research problems are formulated in line with state-of-the-art research in software verification derived from industrial software development projects. Collaborative research with industry is very important. Documented ability to attract external funding is also important. Your own research and the PhD students are financed primarily by external grants. The applicant's ability to cooperate with society at large and to inform about research will also be considered.