Home page
Post research opportunities
Find the ideal candidate
List of registered organisations
Post your CV
Find research opportunities
Practical information
Foreign Researchers Guide
Useful links
List and locate Portuguese Mobility Centres .
Portuguese research landscape
Find out how research is organised in Portugal.
Portuguese research policy
Find out about research policy in Portugal.
Women in science
Find out about the situation of women scientists.
Unique identifier: 616bfade-af92-4615-8a6a-d958c246017d

1. Descrição do cargo/posição/bolsa
1. Job description

Research Grant

Job/Fellowship Reference: RESCUE PTDC/EIA/65862/2006

Main research field: Computer science

Sub research field: Systems design

Job summary:

A Research Grant position is available in LIACC (Artificial Intelligence and Computer Science Laboratory) of the University of Porto, in the framework of project Rescue: Reliable and Safe Code Execution for Embedded Systems, which aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. The work will focus on the use of model checking based on timed-automata for ensure temporal properties of real-time systems.

The research grant will be given for 6 months, begining at December, 2009. The salary will be of 745€/monthly.

Job description:

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
9.Periodicity: monthly
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 (nam@ncc.up.pt) 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 nam@ncc.up.pt.
The results will be published in 5 working days after the call closing on the web site
The applicants will have 10 working days to contest the decision, according to the portuguese legislation "Código de Procedimento Administrativo"


Vacant posts: 1

Type of contract: Temporary

Job country: Portugal

Job city: Porto

Job company/institute: Faculdade de Ciências da Universidade do Porto

Application deadline: 12 Novembro 2009
(The Application's deadline must be confirmed on the Job Description)

2. Dados de contactos da organização
2. Organization contact data

Organization/institute: Faculdade de Ciências do Porto

Rua do Campo Alegre s/n
Porto - 4169-007

Email: director@fc.up.pt

Website: http://www.fc.up.pt

3. Habilitações académicas
3. Required education Level

4. Línguas exigidas
4. Required languages

5. Experiência exigida em investigação
5. Required research experience