Search for University Jobs in Engineering

Job ID: 226583

INESC TEC | Research Grant (AE2023-0460)
INESC TEC


Date Posted Nov. 30, 2023
Title INESC TEC | Research Grant (AE2023-0460)
University INESC TEC
BRAGA, Portugal
Department HASLAB
Application Deadline Dec. 15, 2023
Position Start Date Nov. 30, 2023
 
 
  • Graduate Student
  • Engineering - Other
    Computer Science
 
 

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: Systems design
Area of Work: Distributed Systems
Grant duration: 6 months, starting on 2024-01-15with the possibility of being renewed for a maximum term of one year, in cases where the grant has been awarded to students who are enrolled in non-award courses, or up to two years, in the cases of students enrolled in a master's degree.
Scientific advisor: José Orlando Pereira
Workplace: INESC TEC, Braga, Portugal
Maintenance stipend: € 930,98, according to the table of monthly maintenance stipend for FCT grants , 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".
The grant holder will benefit from health insurance, supported by INESC TEC.

2. OBJECTIVES:
This work is motivated by the diversity of distributed database management systems that, while offering
transactional isolation and relying on multi-version concurrency control, differ subtly in the guarantees offered
and the role played by each component in the implementation. It is therefore intended to develop a formal model to compare the guarantees offered and relate them to the mechanisms used.

3. BRIEF PRESENTATION OF THE WORK PROGRAMME AND TRAINING:
- Development of a transactional coherence model in Alloy;
- Applying the model to compare and test existing systems;
- Contribution to a scientific paper;
- Complete the Master's Dissertation course unit;
- Write the activity report.

4. REQUIRED PROFILE:
Admission requirements:
BSc Degree in Informatics Engineering or similar.
The awarding of the fellowship is dependent on the applicants' enrolment in study cycle or non-award courses of
Higher Education Institutions.
Preference factors:
Advanced knowledge of Formal Methods and Distributed Systems.
Minimum requirements:
- Average of BSc above 14;
- Alloy knowledge.

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, 60%), Scientific Publications (PC, 10%),
Experience (EX, 10%) and Motivation Letter (CM, 20%).
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: José Orlando Pereira
Full member: Alcino Cunha
Full member: João Tiago Paulo
Substitute member:
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;
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-11-30 to 2023-12-15
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 FCT Grants Regulation in force.
For more information, please check the Regulations for Grants of INESC TEC and relevant annexes at
www.inesctec.pt/bolsas


 
Please reference AcademicKeys.com in your cover letter when
applying for or inquiring about this job announcement.
 
 

Contact Information

 

 

Refer this job to a friend or colleague!



New Search | Previous



RSS for the latest higher education jobs
Atom for the latest higher education jobs
Need a Sabbatical Home Near Braga?
AcademicHomes.com