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

FOAF updates: Trust rankings are now exported, making the data available to other users and websites. An external FOAF URI has been added, allowing users to link to an additional FOAF file.

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!