JKU LIT Project LOGTECHEDU
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
The project offers students of computer science, mathematics or STEM/MINT didactics various possibilities to engage in
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
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.