Job advertisement: Predoc Position in Software Engineering (f/m/d)

The Software Engineering Research Group at the University of Klagenfurt and the Research Center Hagenberg of the University of Applied Sciences of Upper Austria are pleased to announce a Predoc position (f/m/d) in software engineering with a focus on program analysis using formal methods. The deadline for submission of the application ends on June 4th, 2023. The position is for 2 years and the planned starting date is as soon as possible.

PhD Student for Program Analysis using Formal Methods