Please note that this newsitem has been archived, and may contain outdated information or links.
PhD student position in computational logic, Linz (Austria)
Deadline: Tuesday 10 May 2022
At the Research Institute for Symbolic Computation (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).
For more information, see
https://www.risc.jku.at/projects/squee/.
Please note that this newsitem has been archived, and may contain outdated information or links.