We have an exciting opportunity for a Postdoctoral Research Associate
to work on an applied project of using Hidden Markov and Automata
Theory models for intruder detection and identification in computer
networks. The aim of this DSTL-funded project is to generalise the
existing theoretical models and implement them into a demonstration tool
that would showcase the scope of the methods developed. You will be
part of a thriving Verification group, working closely with Dr Dominik
Wojtczak and Prof Sven Schewe. You will also have ample opportunity to
collaborate with the rest of the vibrant Department of Computer Science.
You should have, or be about to obtain, a PhD in Computer Science or a
closely related area, together with demonstrable experience in tool
development and a track record of publishing in top international
publications in AI, automata theory, machine learning, software
engineering, or game theory.
This post is available until at least 12 October 2024.
Job Ref: 059088 Closing Date: 2 June 2023
For full details and to apply online, please visit:
https://tinyurl.com/2mrdm2bv