(Some of the following posts may be of interest to categories 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@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@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@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@ucd.ie) is a Lecturer in Computer Science in UCD. He is co-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.