One Postdoctoral Research Position Available
December 2008 (start date of 1 April 2009)
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.
Postdoctoral Researchers
Postdoctoral candidates should have a Ph.D. in Computer Science or Mathematics and an established research record in one or more of the following fields:
- applied formal methods
- concurrency practice and experience (of primary importance)
- logic and semantics
- proof theory and higher-order theorem proving
- program verification
Candidates will be expected to work in collaboration with a number of internationally known existing groups at other top institutions including: Radboud University Nijmegen and the Chalmers University of Technology, and with companies and organizations like Lero, The Open Group Ltd, and aicas-allerton interworks computer automated systems GmbH. 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, Concordia University, and others.
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 FP7 Grant: CHARTER.