[job] postdoc position on Hidden Markov and Automata Theory models

[Dominik Wojtczak]

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