[Publicity] JKU Lit Project LOGTECHEDU: Call for Theses and Job Openings

[RISC Secretary]

[ Please forward to possibly interested students & postdocs ]

JKU LIT Project LOGTECHEDU: Call for Theses and Job Openings
============================================================
http://fmv.jku.at/logtechedu/
http://fmv.jku.at/logtechedu/call.pdf

Logic Technology for Computer Science Education (LOGTECHEDU) is a
project of the Johannes Kepler University (JKU) at the Linz Institute of
Technology (LIT) pursued jointly by members of the JKU institutes FMV
and RISC in cooperation with the Linz School of Education. The project
strives for novel logic-based software tools for education, with focus
on undergraduate university courses in computer science and mathematics.

For this purpose, 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.

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.

See the web site for details on the application.
http://fmv.jku.at/logtechedu/