[ Call for Theses and Job Openings ]

Logic Technology for Computer Science Education (LOGTECHEDU) is a project of the Johannes Kepler University (JKU) at the Linz Institute of Technology (LIT) pursued from 2018 to 2020 jointly by the Institute for Formal Methods and Verification (FMV, Armin Biere and Martina Seidl) and the Research Institute for Symbolic Computation (RISC, Wolfgang Schreiner and Wolfgang Windsteiger) in cooperation with the Department of MINT/STEM Education of the Linz School of Education (Barbara Sabitzer and Markus Hohenwarter).


The project pursues novel logic-based software tools for education, with focus on undergraduate university courses in computer science and mathematics. The project pursues various research strands on

  • Solver Guided Exercises,
  • Teaching Solver Technology,
  • Proof Assistants for Education (Theorema),
  • Specification and Verification Systems for Education (RISCAL), and
  • Logic across the Subjects in Primary, Secondary and Higher Education.


The project offers students of computer science, mathematics or STEM/MINT didactics various possibilities to engage in

  • student projects,
  • bachelor and master theses, and
  • PhD theses.

Student positions are financially supported by corresponding tutorship and fellowship positions. Applications are possible continuously throughout 2018 and 2019. If you are interested to participate, send an informal email explaining your background and motivation to the contact address given below.


Furthermore, we are seeking to fill a PostDoc position for the holder of a PhD degree in computer science, mathematics or STEM/MINT didactics to

  • conduct independent research in some of the areas pursued by the project,
  • co-supervise students in the project, and
  • prepare a project proposal to continue funding of the project.

If you want to apply for the position, send an email with an application letter explaining your background and motivation, your CV, and preferably a list of recommendations (names and contact addresses) to the contact given below. Applications are expected until end of April, but possible until the position is filled.


Prof. Armin Biere
Institute for Formal Models and Verification
Johannes Kepler University (JKU)
A-4040 Linz, Austria


http://fmv.jku.at/software     (solvers)

http://www.risc.jku.at/research/theorema/software     (Theorema)

http://www.risc.jku.at/research/formal/software/RISCAL     (RISCAL)

http://fmv.jku.at/logtechedu/call.pdf     (call for theses and job openings)