Two PhD Positions on Active Automata Learning at Radboud University Nijmegen

Two PhD Positions on Active Automata Learning at Radboud University Nijmegen

i le Ute Schmid -
Number of replies: 0

I have two PhD positions available in my group at Radboud University within the recently acquired NWO TOP project Grey-box learning of Interfaces for Refactoring Legacy Software (GIRLS). If you have good students who may be interested, please forward this announcement to them. Both girls and boys are invited to apply!!

Active automata learning (a.k.a. model learning) algorithms construct state diagram models of software and hardware systems by providing inputs and observing outputs. Active automata learning is emerging as a highly effective bug-finding technique, with applications in areas such as network protocols and legacy software. The GIRLS project addresses the fundamental research problem of making active automata learning algorithms more scalable and applicable to a larger class of systems involving data and timing.

Deadline for application is March 31. Further information is available at http://www.cs.ru.nl/~fvaan/PROJECTS/girls.html and https://www.ru.nl/werken/details/details_vacature_0/?recid=601907 Of course, I am happy to provide additional information.

Thank you!

Frits Vaandrager