Construction of a Compiler from B to JML

Applications are invited for an internship at the Madeira Interactive Technologies Institute (M-ITI) in the WeSP project (Web Security and Privacy), 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 background in Computer Science and knowledge about compilers. Background in B and/or JML formal methods 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 value of the award is 1500 Euros.

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/).