Job Openings at Kind Software group in UCD
(1) Research Hardware Engineer in Dependable Scientific Computing (2) Research Software Engineer in Dependable Scientific Computing (3) PhD Student in Applied Formal Methods
within the group
KindSoftware: Software Engineering with Applied Formal Methods A part of the Systems Research Group, a member of the CASL: Complex & Adaptive Systems Laboratory, within the School of Computer Science and Informatics, at University College Dublin.
All positions report to Dr. Joe Kiniry.Research Software and Hardware Engineers
Research Engineer candidates should have a M.Sc. in Computer Science, an appropriate Engineering degree, or Mathematics (or equivalent) and an established software engineering record. Experience in more than a few of the following fields is mandatory:
- Java 1.5 expertise
- the Eclipse Platform and IDE
- system analysis and design with semantically meaningful specification languages (i.e., not UML)
- unit, integration, and system testing with automated and manual test frameworks
- design by contract
- the Java Modeling Language (JML) and its tool suite
- FLOSS licenses, development styles, and technologies
- quality functional languages (ML variants, Haskell, Clean, etc.) and object-oriented languages (Eiffel, Smalltalk/Squeak, Ruby, etc.)
- the expert use of debuggers like jSwat and profilers like jProfiler
- XML-based technologies
- sensor hardware and software systems
- large-scale (multi-terabyte) datastores, particularly iSCSI-based SANs and similar
- installing and maintaining compute server farms running various flavors of Linux, Solaris, and OS X
We are seeking very well qualified graduates, or students expecting to graduate in the near future, to undertake selected projects in the broad area of Applied Formal Methods. These students will play a pivotal role in developing our research profile and will be involved in every aspect of the foundation of the research group.
Our ideal candidates will be able to demonstrate an ability to both undertake basic research in Computer Science and Mathematics and be able to build prototype systems to demonstrate their research.
The candidates will be expected to work in collaboration with a number of internationally known existing groups at other top institutions including: INRIA, ETH Zurich, Radboud University Nijmegen, Ludwig-Maximilian University in Munich, the University of Edinburgh, the Chalmers University of Technology, Imperial College London, Warsaw University, the Technical University of Madrid, and at companies like France Telecom and SAP. Our group also collaborates with a number of other top-notch universities and companies in the U.S.A., Canada, Australia, and New Zealand including MIT, Caltech, Kansas State University, the University of Washington, and others.
Applicants for Ph.D. positions should have achieved at a first (or equivalent) in Computer Science and have a keen interest in research.
Applicants should return a completed application form with referee reports CV to Joseph Kiniry at the address below. Informal inquiries prior a full application are welcomed.
The application form is available via the Research Degrees section of the School website.About the School
The Irish Government (SFI/Forfas) Baseline Study that ranked Irish research groups identified the School of Computer Science and Informatics at University College Dublin as the best Computer Science department in the country, having "a very strong impact internationally in their research." This research excellence is further reflected in the large number of prestigious Science Foundation Ireland (SFI) funded projects won by members of the School.Contact Information
Please contact Dr. Joe Kiniry for further details of the above posts.
This work is funded under an EU FP6 Global Computing II Grant: MOBIUS and SFI grant "The CASL SenseTile System".