[Publicity] PhD Position in Computational Logic, Linz, Austria

Tanja Gutenbrunner Tanja.Gutenbrunner at risc.jku.at
Tue May 3 15:54:08 CEST 2022

PhD Position in Computational Logic
RISC, Johannes Kepler University Linz, Austria

Applications are invited for one 4-year PhD position in computational
logic in the frame of the project "Symbolic Techniques for Quantitative
Extensions of Equality" funded by the Austrian Science Fund (FWF).

Application deadline: May 10, 2022.
Details at: https://www.risc.jku.at/projects/squee/.

If you do not wish to receive announcements from the
Research Institute for Symbolic Computation (RISC),
please send an e-mail to the following address:
secretary at risc.jku.at

More information about the Publicity mailing list