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
Two PhD Positions on Active Automata Learning at Radboud University Nijmegen
per Ute Schmid -
Nombre de respostes: 0