[TYPES] Positions available at UCD

[Simon Dobson]

(Some of the positions advertised below may be of interest to types  
readers -- Simon.)

Systems Research Group
School of Computer Science and Informatics
University College, Belfield, Dublin 4, Ireland.

http://www.cs.ucd.ie/


Systems Research
================

Autonomic and pervasive computing encompasses tools and techniques for
building highly responsive and self-adaptive systems that are used in
areas as diverse as consumer applications, smart buildings, gaming,
healthcare, and environmental monitoring. This cutting-edge research
domain provides a unique opportunity to work with a combination of
state-of-the-art software systems, reasoning systems, user interfaces,
content management, embedded sensors and communications systems, in
close collaboration with users and researchers in other disciplines.
We are seeking well-qualified, motivated candidates who want to be
part of the foundation of a world-class research group in systems and
software technology. The group has secured over EUR3.5m in funding
from a variety of sources in the area of pervasive computing, systems,
semantics and software tools.


Positions
=========

We currently have openings for 10 PhD students and two post-doctoral
researchers. PhD candidates should have an interest in one or more of
the following areas:

    * Pervasive computing
    * Scalability and resource discovery
    * Trust management and maintenance
    * Proof theory and theorem provers
    * Software verification and proof-carrying code
    * Software development and support environments
    * Semantics and adaptive systems
    * Visualisation and novel user interfaces
    * Novel programming languages
    * Self-managing systems
    * Design and evaluation of pervasive computing systems

Post-doctoral candidates should have an established research record to
PhD or above in one or more of:

    * Proof theory and theorem proving
    * Software verification and proof-carrying code
    * Software development and support environments
    * Trust management and maintenance
    * Human factors and adaptive interfaces
    * Relational information and software visualisation

Our ideal candidate will be able to demonstrate an ability to both
undertake basic research and be able to build high-quality prototype
systems to demonstrate their research, as well as making a strong
contribution to the group's publication activities. PhD candidates
should have achieved (or expect to achieve) at least a 2.1 BSc or
equivalent in Computer Science, Computer Engineering, Mathematics, or
a closely related discipline, and have a keen interest in
research. Staff will be supervised by one or more of the group's
academic staff.

Applicants should return a completed application form with referee
reports and CV to Dr Simon Dobson at the address above. Informal
inquiries prior a full application are welcomed and may be made to any
of the staff below.

Application form: http://www.cs.ucd.ie/forms/UCD-CS-PGrad- 
Application.pdf
Referee form: http://www.cs.ucd.ie/forms/UCD-CS-PGrad-Referee.pdf


SRG academic staff
==================

Professor Paddy Nixon (paddy.nixon at ucd.ie) holds the chair of
Distributed Systems in UCD and has edited 6 books and over 100
refereed publications in the areas of pervasive computing, distributed
systems, software engineering, parallel processing, and object
orientation.

Dr Joe Kiniry (joseph.kiniry at ucd.ie) is a Lecturer in Computer Science
in UCD. His primary research focuses on software engineering with
applied formal methods. He has published extensively, has founded a
number of companies, and is very active in the Free/Open Source
community.

Dr Aaron Quigley (aaron.quigley at ucd.ie) is a Lecturer in Computer
Science in UCD and has over 30 refereed publications in the areas of
pervasive computing, visualisation and software engineering. He is on
the Editorial Board of Journal of Pervasive Computing and
Communications.

Dr Simon Dobson (simon.dobson at ucd.ie) is a Lecturer in Computer
Science in UCD. He is chair of the Autonomic Communications Forum
working group on network semantics and has published broadly on
context-aware and adaptive systems, programming languages and
distributed systems.


Computer Science at UCD
=======================

The Computer Science Department at UCD is one of the largest and
longest established departments in the country.  It is the top-ranking
Computer Science research department in all of Ireland (SFI/Forfas
Baseline Study). Computer Science at UCD is noted as having a very
strong impact internationally in its research. This research
excellence is further reflected in the large number of prestigious
Science Foundation Ireland (SFI) funded projects won by members of the
Department.

The department currently occupies just over three buildings and has
over half a dozen laboratories for students equipped with the latest
computers and software. Since 1999 it has received over EUR15m
research funding (Science Foundation Ireland, European Union,
Enterprise Ireland, US Office of Naval Research, Ericsson, IBM,
Xilinx, and others) and published over 650 peer-reviewed publications
since. It has established academic partnerships with Stanford,
Princeton, Berkeley, Columbia, Georgia Tech., Cambridge, EPFL,
Bologna, Fudan (China) and Sydney, and industrial partnerships with
Philips, Agilent, Infineon, Siemens, Analog Devices, Iona, Microsoft,
Intel, Ericsson, IBM, Apple, Smart Internet CRC and Mitsubishi.