30 Jan 2005 kiniry   » (Journeyer)

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.

Latest blog entries     Older blog entries

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!