News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD position on Automata Learning at the Open Universiteit, Heerlen (the Netherlands)

Deadline: Wednesday 26 April 2023

Automata learning is a technique for improving software quality by smarter testing. It tests systems thoroughly, while at the same time constructing understandable models of the system. Such models can be analysed mathematically to ensure correctness. This has already found numerous software bugs in software we use for our daily communication.

Nevertheless, the learning techniques are still in their infancy, as they are laborious to apply and do not scale to bigger systems. The research project will improve automata learning by leveraging modularity. This makes the approach align with current software engineering practices and makes it more applicable to real-world situations.

Please note that this newsitem has been archived, and may contain outdated information or links.