Tenure Track Professorship in Formal Methods for Dependability Graz University of Technology, Faculty of Computer Science and Biomedical Engineering Austria

Graz University of Technology, Department of Computer Science and Biomedical Engineering invites applications for a

Tenure Track Professorship in Formal Methods for Dependability.

 

We are looking for an excellent researcher with a background in formal methods for dependable secure systems. She or he is expected to carry out basic research in formal modeling, analysis, verification and synthesis and is interested in applications to security and/or artificial intelligence.

 

The professorship will be part of the Institute of Applied Information Processing and Communications and the research focus of the candidate should complement the current faculty positions of the institute.

 

With 30 years of research in information security, the Institute of Applied Information Processing and Communications (aka IAIK) is a well-established player in the field. More than 60 researchers work on topics like security architectures, side channels, cryptography, formal methods, identity management, and e-government.

 

Among the recent sparkling highlights of IAIK's research are the processor vulnerabilities known as "Meltdown" and "Spectre". IAIK cryptographers have contributed to major competitions in cryptography, like AES, SHA-3, and CAESAR; these contributions were always shortlisted or even won the competition. IAIK has built a strong presence in formal methods with a focus on reactive synthesis and, more recently, verification of security constructs.

 

The institute collaborates closely with research groups and industry partners around the globe. The recently announced Cybersecurity Campus Graz also creates a unique local environment. This new hub for information security unites basic research, education, technology transfer, and industry partners all under one roof.

 

The courses of IAIK typically are among the best evaluated of the computer science curricula. At bachelor's level, these courses are computer organization, operating systems, computer networks, systems programming, logic and computability, and information security.

 

Requirements

  • A relevant national or international university education with a completed doctoral/PhD degree.

 

Expected Qualifications

  • Outstanding achievements and potential in research, excellent publication activity and international reputation.
  • International experience in the form of a PhD or PostDoc position at an internationally recognized university or research center.
  • Experience in the design and implementation of international research projects as well as willingness and ability to establish and lead a research group.
  • Enthusiasm for excellent teaching, teaching experience or a teaching concept as well as the ability and willingness to teach in all curricular stages (Bachelor, Master, Doctorate), supervise theses and promote young scientists.

 

To ensure effective international representation of the research group and its work, excellent spoken and written competence in English is required. Specifically, willingness to teach courses in English is expected. Fluency in German or the willingness to acquire it is also required. The successful candidate is also expected to transfer her/his residence to the area of Graz.

 

Graz University of Technology aims to increase the proportion of women, in particular in management and academic staff, and therefore qualified female applicants are explicitly encouraged to apply. Until a balanced ratio of men and women has been achieved at the university, preference will be given to women if applicants are equally qualified.

 

Graz University of Technology actively promotes diversity and equal opportunities. Applicants are not to be discriminated against in personnel selection procedures on the grounds of gender, ethnicity, religion or ideology, age, sexual orientation (Anti-discrimination). People with disabilities and who have the relevant qualifications are expressly invited to apply.

 

Our Offer

The advertised position is a tenure-track career position for an initial period of 6 years. (pursuant to § 99 para. 5 of the Universities Act) After the conclusion of a qualification agreement, the job holder is appointed as Assistant Professor. After a positive evaluation of the qualification agreement, the position will be turned into a permanent position as Associate Professor. After a further competitive procedure, the promotion to Full Professor is possible. Graz University of Technology provides excellent working conditions in a lively scientific community combined with the outstanding living quality of the Graz area.

 

We offer an internationally competitive salary based on the profile of the applicant. The formal minimum annual gross salary for the position is € 59.003,00 per year, including social and health insurance. This corresponds to category B1 of the collective agreement for employees of Austrian universities.

 

Your Application

Interested applicants are requested to send a detailed application in electronic form, and should quote the position identification number 7050/19/021:

  • using the application form,
  • including a resume (with copies of diplomas),
  • a list of publications with copies of their 5 most important publications,
  • a research statement describing past and planned research activities (5 pages max.),
  • a teaching statement (5 pages max.) and evaluations of past teaching activities (if available),

in electronic form at the latest by

26 November 2019
(date of email)

to the Dean of the Department of Computer Science and Biomedical Engineering of the Graz University of Technology, Roderick Bloem, E-Mail: applications.csbme@tugraz.at

The interviews for the position are expected to take place in the week from 27 January 2020. Candidates are asked to be available in this period. For further questions, please contact the Dean’s office: dean.csbme@tugraz.at.


If you apply for this position please say you saw it on Computeroxy

Apply

All Jobs

FACEBOOK
TWITTER
LINKEDIN
GOOGLE
https://computeroxy.com/tenure-track-professorship-in-formal-methods-for-dependability,i8223.html">

Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions