[ 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 members. While both research engineer positions are only speced as one year positions, excellent candidates may be offered extensions to their contracts. Below is a text version of the HTML webpage: http://kind.ucd.ie/about/positions/index.html Best, 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".