[TYPES/announce] Postdoc position in verification and automata learning at MPI-SWS, in association with Cornell and Oxford

[James Worrell]

A postdoctoral position in automated verification and automata learning is
open at the Max Planck Institute for Software Systems in Saarbrücken,
Germany, in the group of Prof. Joël Ouaknine. The project is a joint
collaboration with Prof. Alexandra Silva (Cornell University) and Prof.
James Worrell (Oxford University). The post is based in Saabrücken, but the
successful candidate will have the opportunity occasionally to travel to
Cornell (Ithaca, USA) and Oxford (UK).

Active automata learning has become an important technique in model-based
verification, as it enables the automated inference of models. There is a
gap between the existing learning algorithms and the expressive models that
have been used in e.g. probabilistic model checking. The goal of this
project is two-fold: on the one hand, we want to design active learning
algorithms for probabilistic automata and study the limits of learnability;
on the other hand, we want to explore their use in practical scenarios,
including randomised routing.

Qualifications:

-- A PhD awarded (or nearing completion) in Computer Science, Mathematics,
or a closely related discipline.

-- Knowledge and publications across some areas of: logic in computer
science, formal verification, automata theory, programming language theory,
probabilistic systems, learning, randomised algorithms, concurrency theory,
program synthesis.

This position is available on a full time basis for one year in the first
instance, with the possibility of renewal(s).

For informal enquiries, please contact Prof. Joël Ouaknine <joel at mpi-sws.org
>.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221122/a024f0f5/attachment-0001.htm>