In October I started a new position as a Lecturer in the Department of Computer Science at University College Dublin. This department is the top computer science department in Ireland and I have big plans for my new research group, KindSoftware here. Our work focuses on Software Engineering with Applied Formal Methods.
We are immediately hiring several Ph.D./M.Sc. student positions in Autonomic and Pervasive Computing and I will be hiring more Ph.D. and Postdoc positions in Software Engineering with Logic-based Verification of Concurrent Java Systems with Proof-Carrying Code Techniques in the next few months.