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
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam