Professor of Symbolic Computation

In accordance with § 94 Sec. 2 subpara. 1 of the Austrian Universities Act, the Faculty of Engineering & Natural Sciences at the Johannes Kepler University Linz announces a tenured faculty opening for a University Professor of Symbolic Computation

The Faculty of Engineering & Natural Sciences at the Johannes Kepler University Linz invites applications for a private law employment position as a

Professor of Symbolic Computation

to begin on October 1, 2021. The appointment is in accordance with § 98 of the 2002 Austrian Universities Act. An evaluation will be conducted after a five-year period.

The Research Institute for Symbolic Computation (RISC) is searching for a highly-reputable expert to comprehensively represent the field of symbolic computation in at least one of its core areas such as computer algebra (symbolic methods in connection with, e.g., algebra, analysis, geometry, combinatorics, etc.) or computational logic (e.g., automated and computer-assisted reasoning, formal methods and software verification, term rewriting systems, constraint solving, etc.). Special emphasis is put on the connection between the mathematical foundations and the algorithmic, respectively software-technological, aspects of the area.

The successful applicant is expected to actively take part in one or more of the university’s research foci and collaborate with the Johann Radon Institute for Computational and Applied Mathematics (RICAM), a branch of the Austrian Academy of Sciences (ÖAW). He/she is expected to represent and further develop his/her area of expertise at the JKU in research and education. Detailed information is available at: here

Info Box


Univ. Prof.
Dr. Peter Paule
+43 732 2468 9940

terms of employment

permanent position
(§ 98 UG)

application deadline

December 30, 2020

submit application here

The successful candidate should hold a post-doctorate (Habilitation) in Mathematics or Computer Science, or a comparable academic qualification.

A salary above the minimum amount (which is currently € 73,438.40 before taxes) as stated in the collective agreement will be voluntarily offered.

If you have any questions in regard to the job profile, please contact Prof. Peter Paule, P +43 732 2468 9940, E-mail:

The Johannes Kepler University wishes to increase the proportion of academic female faculty and, for this reason, especially welcomes and encourages applications by qualified women. If applicants are equally qualified, a woman will be given preference for this position. The university welcomes applications from qualified applicants with disabilities. These applications will be given special consideration. In addition, we strongly encourage applications from outside of Austria to apply.

Prospective applicants are asked to submit their application in adherence to the criteria stated in the job profile including all requested documentation (CV, etc.), in electronic form via e-mail to the Rector of the Johannes Kepler University Linz: by December 30, 2020. If the documents cannot be sent electronically, 5 copies are to be sent by postal mail and should arrive at the Rector’s office no later than one week after the end of the application deadline.