University Professor (all genders)

Berufsbezeichnung:

University Professor (all genders)

Unternehmen

Technische Universität Wien

Stellenbeschreibung

Specialist field of Program Analysis and VerificationTU Wien is Austria’s largest institution of research and higher education in the fields of technology and natural sciences. With over 26,000 students and more than 4000 scientists, research, teaching, and learning dedicated to the advancement of science and technology have been conducted here for more than 200 years, guided by the motto “Technology for People”. As a driver of innovation, TU Wien fosters close collaboration with business and industry and contributes to the prosperity of society.At the Institute of Logic and Computation of the Faculty of Informatics at TU Wien, the position of a University Professor (all genders) for the specialist field of “Program Analysis and Verification” with permanent (full-time) contractual employment is to be filled as of October 1st, 2025.This is a professorship regulated by §99 (4) of the Universities Act 2002 (UG). This position is only intended for Associate Professors according to §27 of the Collective Bargaining Agreement for University Staff of the TU Wien.The position as professor for “Program Analysis and Verification” has been allocated in TU Wien’s development plan to the focal area Information & Communication Technology. The Faculty of Informatics, one of the eight faculties at TU Wien, is among the top ranked faculties of Informatics in Europe, with more than 80 professors on all career levels and a strong focus on research excellence. The main areas of research include Computer Engineering, Logic and Computation, Visual Computing & Human-Centered Technology, as well as Information Systems Engineering.Program Analysis and Verification is fundamental to ensuring the reliability, correctness, and security of software systems. It encompasses techniques for automatically analyzing and verifying programs, detecting errors, proving correctness properties, and reasoning about resource consumption such as time, memory, and energy. TU Wien is looking for a candidate with a strong scientific profile in program analysis and verification, spanning both theoretical foundations and practical applications, to strengthen its expertise in the field.The successful candidate shall demonstrate a proven research record in logic-based methods for program analysis and verification and contribute to advancing the state of the art.Key areas of interest include:

• Static program analysis and abstract interpretation
• Automated verification, e.g., model checking, deductive verification, symbolic execution
• Resource-bound and complexity analysis of programs
• Memory safety and separation logic for program verification
• Parameterized verification of concurrent and distributed systems

The successful candidate is expected to combine theoretical insights with practical tool development, collaborate with researchers in formal methods and systems engineering, and engage with industry partners where software verification is of critical importance.Besides research, the duties of a Full Professor at TU Wien include undergraduate and graduate teaching (in German and English) as well as contributing to usual management and faculty service tasks.Your profile:

• Completed doctoral or PhD studies in Computer Science or related areas
• The qualification for lecturing (venia docendi) acquired at a domestic or equivalent foreign university or an academic qualification recognised as equivalent to qualification as a university lecturer
• High scientific reputation, proven by publications in internationally prestigious scientific journals, patents, awards, scientific lectures, editorial and expert work or/and organization of conferences etc.
• Relevant joint research experience with national and international reputation as well as the ability to form networks, proven e.g. by extended relevant stays abroad or through cooperation with foreign universities and research institutions
• Experience in the acquisition, execution and management of research projects
• Ability and willingness to manage a research group
• Pedagogic and didactic suitability for academic teaching in German and English
• Experience in the supervision of scientific work of students, such as bachelor, diploma and master theses as well as dissertations
• Social and gender competence as well as experienced in the promotion of young researchers and the advancement of underrepresented students/colleagues/employees
• On-site presence is expected

We offer:

• Excellent working conditions in an attractive research environment
• Attractive compensation combined with additional benefits (see also:

) * Financial support of research activities in the first years (equipment endowment, etc.)

• An employee-friendly environment in a city with an extraordinarily high quality of life

TU Wien is committed to increasing the proportion of women in particular in leadership positions. Female applicants are explicitly encouraged to apply. Preference will be given to women when equally qualified, unless reasons specific to a male applicant tilt the balance in his favour.People with special needs are equally encouraged to apply. In case of any questions, please contact the confidant for disabled persons at the university, Mr. Gerhard Neustätter.Classification in the A1 category of the collective bargaining agreement for employees of universities and a full-time minimum salary of EUR 92.460,20 gross annual is provided. Furthermore, on top of the employee benefit fund, a company pension scheme will be set up for employees, depending on the duration of their employment, with the result that personnel benefits will increase.A higher salary depending on qualifications and experience is subject of appointment negotiations as well as detailed information about benefits.General information can be found at the following links:
: Information about professorships and appointment proceduresApplications in English must include at least the following documents:

• Detailed curriculum vitae (complete with professional and academic background)
• Detailed motivation letter
• Presentation of previous academic activities including a survey of research and development projects carried out and of funding/grants raised (volume, duration, funding body etc.), a list of patents, awards, editorial and expert work or/and organization of conferences etc., as well as a list of lecturing activities (including a list of invited lectures) and your teaching activities evidenced by a list of the university courses held so far and a list of supervised scientific works of students, such as bachelor, diploma and master theses as well as dissertations
• List of publications and copies of five of the most important publications
• Research and teaching concept with considerations on the future positioning and further development of the field of Program Analysis and Verfication

We look forward to receiving your complete application documents by June 05th, 2025.

Erwartetes Gehalt

€92460.2 per year

Standort

Wien

Jobdatum

Fri, 16 May 2025 02:36:29 GMT

Um uns zu helfen, unsere Rekrutierungsbemühungen zu verfolgen, geben Sie bitte in Ihrer E-Mail/Ihrem Anschreiben an, wo (jobsineu.net) Sie diese Stellenausschreibung gesehen haben.