Stellenausschreibung: Predoc-Stelle im Bereich Software Engineering (w/m/d)

Die Software Engineering Research Group an der Universität Klagenfurt und das Research Center Hagenberg der FH Oberösterreich freuen sich, eine Predoc-Stelle (w/m/d) im Bereich Software Engineering mit dem Schwerpunkt Programmanalyse mit formalen Methoden ausschreiben zu können. Die Bewerbungsfrist endet am 4. Juni 2023. Die Stelle ist auf 2 Jahre befristet und soll zum nächstmöglichen Zeitpunkt beginnen.

Weitere Informationen finden Sie unter: PhD Student (f/m/d) for Program Analysis using Formal Methods