Logic List Mailing Archive
PhD student position in computational logic, Linz (Austria), Deadline: 10 May 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/.
[LOGIC] mailing list
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam