1.Job: Research grant
2.Duration: 6 months
3.Location: Faculdade de Ciências de da Universidade do Porto, Porto, Portugal
4.Aim: Collaboration with Project RESCUE
5.Projection: RESCUE PTDC/EIA/65862/2006
6. Work plan: Model checking for real-time systems allows to ensure that a system (the model) verifies the required temporal properties. To be useful, the model must be automatically inferred/translated from the system source code. In the scope of the RESCUE project, it was developed a translation from HTL (a coordination language for concurrent real-time systems) to timed-automata networks of the UPPAAL system. Based on this experience, it is intended to extend/adapt this framework To the ADA/Spark language. The work will include the construction of a translator able to abstract ADA tasks coordination and provide a model for which temporal properties can be analysed.
7.Remuneration: 745,00 euro
8.Starting date: 1/12/2009
11. Eligibility: applicants must hold a degree in computer science or informatics engineering
12. Selection criteria: a) Curriculum vitae; b) previous experience
anterior; c) knowledgement of tools and programming languages to be used in the work
14. Regulations: according to the regulations "Lei nº 40/2004" (18/8) and "Regulamento de Bolsas da Universidade do Porto".
15.How to apply: Curriculum vitae, short description of prior research work, habilitation’s certificate, address and e-mail adress, telephone number.
Documentation must be send by email to Nelma Moreira (email@example.com) or by surface mail to Nelma Moreira, DCC-FCUP, Rua do Campo Alegre 1021/1055, 4169–007 Porto.
16.Deadline: This call will be open between October 29 and November 12, 2009.
For further information, please contact Nelma Moreira at firstname.lastname@example.org.
The results will be published in 5 working days after the call closing on the web site