A Weakest-Precondition Based Access Permission Checker

Applications are invited for an internship at the Madeira Interactive Technologies Institute (M-ITI) in the AEminium project (Freein Programmers from the Shackles of Sequentiality), funded by Carnegie Mellon University and Portugal (http://www.cmuportugal.org/). The position is based in Madeira, Portugal  (http://www.madeiraislands.travel/pls/madeira/wsmwhom0.home?p_lingua=en&p...).

About the Candidate

We seek a candidate with a strong background in Computer Science and some knowledge about concurrency. A strong programming skill is a must and previous knowledge of OCaml and Java is an asset.

Applying

Applications or any inquiry must be made as soon as possible via email (ncatano@uma.pt). Applicants should submit a full CV, and contact details of 2 referees to Nestor Catano (ncatano@uma.pt).

Stipend

The award is for 3 months. The value of the award is 980 Euros a month for an appointee holding an M.Sc. degree and 745 Euros a month for an appointee with a B.Sc. degree.

About Madeira ITI (M-ITI)

MITI (http://www.m-iti.org) 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 computer science at UMa, in particular in the Professional Master of Human-Computer Interaction offered in collaboration with the HCI Institute of Carnegie Mellon University (http://www.labuse.org/mhci/).