Portuguese version: https://repositorio.inesctec.pt/editais/pt/AE2023-0173.pdf

CALL FOR GRANT APPLICATIONS (AE2023-0173)

INESC TEC is now accepting grant applications to award 1 Research Grant (BI) within the scope of the Plurianual_LA funded by National Funds through FCT - Portuguese Foundation for Science and Technology, I.P., project (reference LA/P/0063/2020

1. GRANT DESCRIPTION

Type of grant: Research Grant (BI)

General scientific area: COMPUTER SCIENCE

Scientific subarea: Informatics

Grant duration: 3 months, starting on 2023-07-01 , with the possibility of being renewed until the end of the project.

Scientific advisor: João Alexandre Saraiva

Workplace: INESC TEC, Braga, Portugal

Maintenance stipend: 1199,64, according to the table of monthly maintenance stipend for FCT grants (https://www.fct.pt/wp-content/uploads/2023/02/Tabela-de-Valores-SMM_202…), paid via bank transfer. Grant holders may be awarded potential supplements, according to a quarterly evaluation process (Articles 19, 21 and 22 of the Regulations for Grants of INESC TEC and Annex II), up to a maximum limit of 50 of the monthly maintenance stipend.

INESC TEC supports costs with registration, enrolment or tuition fees, during the grant duration, under the terms established in the internal document: "Payment of Tuition fees to grant holders" (https://www.inesctec.pt/pagamento-propinas-bolseirosEN)

The grant holder will benefit from health insurance, supported by INESC TEC.

2. OBJECTIVES:

- Development of techniques for program fusion in the context of strategic programming in order to eliminate redundat tree traversals;
- Conduct a study of the performance of high performance computing machines in order to compare the performance of different strategic and attribute grammar libraries expressed in different languages.

3. BRIEF PRESENTATION OF THE WORK PROGRAMME AND TRAINING:

- To define fusion techniques for strategic functions and implement the technique as strategic-based transformation;
- To perform a detailed study on the performance of developed strategic fusion libraries;
- To study the impact of fusion on HPC;
- To write a scientific paper reporting the results achieved. ;

4. REQUIRED PROFILE:

Admission requirements:
- MSc Degree in Informatics Engineering.
The awarding of the fellowship is dependent on the applicants' enrolment in study cycle or non-award courses of Higher Education Institutions.

Preference factors:
Experience with Attribute Grammars;
Experience in doing research on functional programming.;

Minimum requirements:
- Bachelor with mark equal to or greater than 14/ 20;
- Experience with the Haskell programming language;
- Experience with Strategic Programming.

5. EVALUATION OF APPLICATIONS AND SELECTION PROCESS:

Selection criteria and corresponding valuation: the first phase comprises the Academic Evaluation (AC), based on the criteria referred to in Article 12 of the Regulations for Grants of INESC TEC, while the second phase comprehends the Individual Interview (EI).
All factors are evaluated on a scale of 0 to 100, taking into account the applicants' merit, suitability and conformity with the preference factors.
The weight of the AC factors are as follows: Academic Qualifications (FA, 40), Scientific Publications (PC, 30), Experience (EX, 20) and Motivation Letter (CM, 10).
Candidates who score less than 50 points in the AC average will be considered excluded on absolute merit. The top five candidates approved on absolute merit will be qualified for the individual interview. The Final Grade (CF) is obtained by the weighted average of AC (80) and EI (20).

The Selection Jury is composed of the following members:
President of the Jury: João Alexandre Saraiva
Full member: João Tiago Paulo
Full member: Ricardo Pereira Vilaça
Substitute member: Jácome Costa Cunha

Release of results and prior hearing: the results of the selection process, as well as the terms and procedures for prior hearing, will be released to the applicants by email, under the terms referred to in Article 13 of the Regulations for Studentships and Fellowships of INESC TEC.

6. FORMALISATION OF APPLICATIONS:

Application Documents:
1. Motivation letter;
2. Curriculum Vitae (must include the list of previous fellowships, their type, beginning and end dates, funding entities and host institutions);
3. Certificate or diploma degree dully recognised in Portugal;
- Documents proving the awarding of academic degrees and diplomas, or the according recognition - in cases of academic degrees or diplomas granted by a foreign higher education institution - can be dismissed in the application process, and replaced by the applicant's declaration of honour, with the verification of said condition taking place during the grant's hiring stage. The submission of the certificate is mandatory when signing the contract.
- Academic degrees or diplomas awarded by a foreign higher education institution require an authentication by a Portuguese higher education institution, and the corresponding registration on the DGES platform, in conformity with Decree-Law no. 66/2018, of August 16, and Ordinance no. 33/2019, of January 25. More information available on the website https://www.dges.gov.pt/pt/pagina/reconhecimento?plid=374
4. Proof of enrollment in a degree awarding study cycle or in a non degree awarding Higher Education program.
- The proof of enrollment may be presented just during the grant hiring stage.
5. Signed declaration stating the infringement of the grant holder's duties (article 14, no. 4)
6. Documental evidence to support the country of residence, residence permit or other legally equivalent document, in cases where the applicant is a foreigner or non-resident in Portugal - valid until the beginning of the grant.
7. Other supporting documents relevant to the final assessment.

Failure to deliver the required documents within the 90-day period after the date of the notice of the conditional awarding of the grant implies its cancellation.

Application period: From 2023-05-10 to 2023-05-23

Submission of applications: the application will be formalised by submitting the form available in the Work With Us section of INESC TEC website.

7. BINDING LEGISLATION AND REGULATION

The hiring process shall comply with the current legislation regarding the Research Grant Holder Statute, approved by Law no. 40/2004 of August 18, in its current wording, as well as by the Regulations for Grants of INESC TEC and for https://files.dre.pt/2s/2019/12/241000000/0009100105.pdfFCT Grants Regulation in force.

For more information, please check the Regulations for Grants of INESC TEC and relevant annexes at www.inesctec.pt/bolsas