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

[Tanja Gutenbrunner]

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