Open Position: PhD Position in Computational Logic

PhD position in the frame of the FWF-project “Symbolic Techniques for Quantitative Extensions of Equality” led by Temur Kutsia. Interested candidates should submit their application to Temur Kutsia not later than May 10, 2022.