PhD Candidate in Automata Learning

Are you an aspiring researcher, fascinated by theoretical computer science? And would you like to conduct research at the intersection of automata learning, testing, and category theory? As a PhD candidate, you will help boost the scalability of automata learning through the development of approximation and abstraction methods in learning algorithms and the underlying theory.

You will contribute to model learning, which is a family of techniques for automatically constructing automata models of black-box systems, by systematically running tests and making observations. These techniques have been applied to analyse network protocols, legacy software, smart card readers and embedded control software. As a PhD candidate on this project, you will help to boost the scalability of automata learning through the development of approximation and abstraction methods in learning algorithms and the underlying theory. Your research will have a strong focus on developing the foundations of automata learning, using category theory and coalgebra as a formalism of choice, enabling a broad application of the results. As such, you will conduct research at the intersection of automata learning, testing and category theory.

This PhD position is part of an NWO VIDI project called Approximation, Abstraction and Apartness in Automata Learning (APPLE). For details, see here and feel free to contact us with any questions about the project and position. You will be supervised by Jurriaan Rot.

The start of the project is flexible (sometime between November and the summer of 2024). If you have not yet fully completed your Master's degree but are excited about this position, please do not hesitate to apply or contact us.
Your teaching load may be up to 10% of your working time.

Requirements:

• You should hold an MSc or equivalent degree in Computer Science, Mathematics or a closely related field, or expect to obtain such a degree in this academic year.
• You are able to work both independently and as part of a team.
• You are proficient in English. (Dutch is not required.)
• Prior knowledge of either category theory or automata learning is appreciated but not required.

Salary Benefits:

• It concerns an employment for 1.0 FTE.
• The gross starting salary amounts to €2,770 per month based on a 38-hour working week, and will increase to €3,539 in the fourth year (salary scale P).
• You will receive 8% holiday allowance and 8.3% end-of-year bonus.
• You will be employed for an initial period of 18 months, after which your performance will be evaluated. If the evaluation is positive, the contract will be extended by 2.5 years (4 year contract).
• You will be able to use our Dual Career and Family Care Services. Our Dual Career and Family Care Officer can assist you with family-related support, help your partner or spouse prepare for the local labour market, provide customized support in their search for employment and help your family settle in Nijmegen.
• Working for us means getting extra days off. In case of full-time employment, you can choose between 30 or 41 days of annual leave instead of the legally allotted 20.

Work and science require good employment practices. This is reflected in Radboud University's primary and secondary employment conditions. You can make arrangements for the best possible work-life balance with flexible working hours, various leave arrangements and working from home. You are also able to compose part of your employment conditions yourself, for example, exchange income for extra leave days and receive a reimbursement for your sports subscription. And of course, we offer a good pension plan. You are given plenty of room and responsibility to develop your talents and realise your ambitions. Therefore, we provide various training and development schemes.

40 hours per week

Houtlaan 4