Two PhD Candidates on Grey-box Learning of Interfaces for Refactoring Legacy Software (GIRLS) Radboud University, Faculty of Science Netherlands

Two PhD Candidates on Grey-box Learning of Interfaces for Refactoring Legacy Software (GIRLS)


Faculty of Science 

Vacancy number: 62.14.19 

Application deadline: 31 March 2019



As a PhD candidate, you will be working on the Grey-box Learning of Interfaces for Refactoring Legacy Software (GIRLS) project, for which Prof. Frits Vaandrager has been awarded an NWO TOP grant. 

Model learning algorithms construct state diagram models of software and hardware systems by providing inputs and observing outputs. Model 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 model learning algorithms more scalable and applicable to a larger class of systems involving data and timing. 

You will either develop grey-box learning algorithms for infinite-state systems, using for instance taint analysis (PhD candidate 1), or you will develop learning algorithms for real-time systems (PhD candidate 2). You will implement these algorithms and then evaluate them.


Work environment

Strategically located in Europe, Radboud University is one of the leading academic communities in the Netherlands. The positions are available in the Software Science group of the Institute for Computing and Information Sciences (iCIS) at Radboud University. Research at iCIS focuses on software science, digital security and data science. Our research mission is to improve the security and reliability of computer-based systems and algorithms through mathematically founded theories, methods and tools. During recent evaluations, iCIS has been consistently ranked as the No. 1 Computing Science department in the Netherlands. Evaluation committees praised our flat and open organisational structure, our ability to attract external funding, our strong ties to other disciplines, and our solid contacts with government and industrial partners. The Software Science group is well known for its contributions to the mathematical foundations of software, formal methods, and functional programming.


What we expect from you

  • you hold an MSc or equivalent degree in a field that is closely related to Computer Science, or expect to obtain such a degree within 6 months;

  • you have excellent math skills or excellent programming skills (or both);

  • you are interested in conducting original scientific research, and publishing in top academic conferences and journals, but you also want to work on ideas that are useful in practice;

  • you enjoy teaching;

  • you are able to work both independently and as a team player;

  • you are proficient in English (Dutch language skills are not required).


What we have to offer

  • employment: 0.8 - 1.0 FTE;

  • the gross starting salary amounts to €2,325 per month, and will increase to €2,972 in the fourth year;

  • in addition to the salary: an 8% holiday allowance and an 8.3% end-of-year bonus;

  • duration of the contract: 4 years;

  • your performance will be evaluated after 18 months. If the evaluation is positive, the contract will be extended by 2.5 years;

  • you will be classified as a PhD Candidate (promovendus) in the Dutch university job-ranking system (UFO);

  • you will be able to make use of our Dual Career Service where our Dual Career Officer will assist with family related support, such as child care, and help your partner prepare for the local labour market and with finding an occupation.


Are you interested in our excellent employment conditions?


Other Information

Both girls and boys are invited to apply.


Would you like to know more?

Further information on: Institute for Computing and Information Sciences 
Further information on: Department of Software Science 
Further information on: Grey-box learning of Interfaces for Refactoring Legacy Software (GIRLS)


For more information about this vacancy, please contact: 
Prof. dr. Frits Vaandrager
Telephone: +31 24 365 2216


Are you interested?

You should upload your application (attn. of Prof. dr. Frits Vaandrager) exclusively using the button 'Apply' below. Your application should include (and be limited to) the following attachment(s):

  • Letter of motivation

  • Cv including contact details of at least two references

If you apply for this position please say you saw it on Computeroxy


All Jobs


ubc reklama










texas tech


uni copenhagen