[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Apologies for the cross-posting.

We have three positions open at University College Dublin in Dublin,  
Ireland---two research engineers in dependable scientific computing  
and one PhD position in applied formal methods.

In essence, all of these positions focus on the development of  
software and hardware for scientific computing with formal methods  
using rigorous software engineering, thus likely of interest to list  

While both research engineer positions are only speced as one year  
positions, excellent candidates may be offered extensions to their  

Below is a text version of the HTML webpage:

Joe Kiniry
Several Research Positions Available

May 2008
(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.

Research Engineer Experience
Experience in more than a few of the following fields is necessary.  
Those bulleted items highlighted in a strong typeface are 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
        • ESC/Java2
        • *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*

Research Engineer Responsibilities
Both Research Engineers will be expected to contribute to: setup and  
maintenance of a cluster of several dozen high-end Hewlett-Packard  
compute servers; maintenance of a multi-terabyte RAID array; design,  
installation, and maintenance of a high-speed Ethernet and optical  
network throughout the UCD CASL; design, setup, and maintenance of the  
CASL SenseTile platform sensor and compute nodes; authoring and  
publishing systems documentation and research papers in international  
venues (e.g., USENIX, IEEE, and ACM conferences and journals);  
analysis, design, implementation, testing, verification, and  
maintenance of the UCD CASL Dependable Scientific Computing framework;  
and training and support of UCD CASL Research Scientists in the use of  
the UCD CASL SenseTile System.

Ph.D. Students
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".

Reply via email to