I am looking for two phd candidates for two positions in the Aeminium CMU/FCT project. The posts are on formal methods and concurrence. Find the announcement below. I'd appreciate if you can forward this email to any of your contacts potentially interested in these positions. Also, Can you forward this email to MEI students?
Best,
Nestor.
Summary of the Announcement
Applications are invited for two research assistant positions funded under the Carnegie Mellon / Portugal partnership on the topics of Concurrence and Formal Methods. These posts are part of a multidisciplinary research program (Aeminium) involving departments at Carnegie Mellon University (CMU), Madeira ITI (MITI) at University of Madeira, and the University of Coimbra, Portugal. The posts are based in Madeira, Portugal, will be supervised by Nestor Catano (www.uma.pt/ncatano) and will involve annual visits to CMU.
Applying
The closing date for receipts of applicants is October 25th, and we anticipate that interviews will be held shortly afterwards. Applications must be made as soon as possible via email (ncatano@uma.pt). Applicants should submit a cover letter, a full CV, and contact details of 2 referees to Nestor Catano (ncatano@uma.pt). The posts will ideally start first of November (or as soon as possible thereafter) by arrangement with the 2 successful candidates. The value of each award is 11760 Euros per annum (tax exempt) for 3 years.
About Madeira ITI (MITI)
MITI is a unique research and development initiative dedicated to making technology more useful, more usable, and more accessible. Members of MITI have responsibilities in teaching in the various courses of the department of Mathematics and Engineering at UMa, in particular in the Professional Master of Human-Computer Interaction that is offered in collaboration with the HCI Institute of Carnegie Mellon University (http://www.labuse.org/mhci/). As of 2009, MITI consists of 15 faculty representing 13 different nationalities (Greece, Italy, Portugal, Scotland, China, India, Ireland, USA, the Netherlands, Colombia, Brazil, Mexico, Argentina). MITI has secured 3 million Euros of funding for the next 3 years and is currently expanding.
Announcement
We seek to candidates with a strong background in Computer Science, or Mathematics. Previous knowledge of concurrence and formal methods techniques are assets. Successful candidates may opt to apply for a PhD degree at UMa (University of Madeira). The successful candidates will focus on the specification and implementation of the necessary static verification tools for guaranteeing the safety (and other) properties of the software developed on top of the runtime infrastructure developed by the Aeminium project. It is envisioned that several different tools will be constructed allowing for different types of concurrency analysis to be performed.