B-0079-22 – Research Grant (BI) – 06/05/2022 – DeDuCe – PTDC/CCI-COM/32166/2017
|Funding Reference Number:
A research position for one Research Grant (“Bolsa de Investigação“) is open at Instituto de Telecomunicações, in the scope of the Project DeDuCe – Distributed Data Centric Concurrency Control. This project is funded by Fundação para a Ciência e Tecnologia (FCT) through national funds under the PTDC/CCI-COM/32166/2017 project reference.
Distributed systems often resorts to data replication not only to enhance their availability but also to reduce user-perceived latency by balancing the load between replicas and routing their requests accordingly. Recognizing the tension between consistency and high availability, many systems allow multiple consistency levels to coexist. However, most of those systems require that the programmer explicitly specifies each operation’s consistency level or declare the operation’s invariants and side effects. Reasoning about the system’s correctness becomes harder as the code scales, for instance, a single missing side effect identification may silently adulterate the application’s behaviour. As part of the DeDuCe research project, this work aims to reduce the programmer’s effort by only requiring the programmer to introduce a simple and intuitive input at data declaration. Following this approach, the reasoning is centralised and all accesses to replicated data are identified automatically. By identifying which operations access to replicated data, these operations are analysed for commutativity, and conflict relations are defined for each pair. Operations that are conflict-free will be refactored to a commutative version capable of executing without global coordination.
Basic Sciences and Enabling Technologies
Security and Quantum Information - Lx
Research grants are intended:
- for students enrolled in a degree-conferring course to carry out R&D activities with the aim to consolidate their scientific training through the development of research work leading to the attainment of the respective academic degree or completion of the course (integrated or not in R&D projects).
- for students enrolled in courses that do not confer an academic degree but which are integrated in an educational project of a higher education institution and are developed in association or cooperation with one or several R&D units.
In what concerns the admission requirements for this research grant in particular:
- The candidate must be a student of a Master's degree or of a non-degree course in Computer Science;
- Proven experience in program analysis, distributed programming in Java and replicated systems;
- Proficiency in English;
- Capacity to work independently, according to the instructions received.
The goal of this work is to extend compile-time commutativity analysis applied to the Java language able to compute operation pairwise commutativity from the input is given at data declaration. In addition, to extend commutativity analysis to objects, we will specify which are the conditions that guarantee commutativity for an operation pair.
A fellowship will be celebrated according to “Estatuto do Bolseiro de Investigação”, according to Law no. 40/2004, dated on 18th of August (Status of Scientific Research Fellow - https://www.fct.pt/apoios/bolsas/estatutobolseiro.phtml.pt), in its actual redaction, by Fellowship Regulation of Fundação para Ciência e Tecnologia (https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt), according to Reg. 950/2019, dated on 16th of December, and also by “Regulation of Instituto de Telecomunicações’ fellowships”.
|Place of work:
The work will be developed at the premises of Instituto de Telecomunicações – Lisboa, under the supervision of Professor Ana Matos.
3 months (according to the regulations defined by FCT). Start date: June 1th, 2022. If not possible to start on this date, the Research Grant may be not awarded
875,98 € according to the table of grant amounts awarded directly by FCT for positions held in Portugal (www.fct.pt/apoios/bolsas/valores). The payment will be made by bank transfer.
Each criteria, and the final classification F will be evaluated in a scale (0-20). The candidates will be ordered according to:
F = C1 x 60% + C2 x 30% + C3 x 10%
In case of a tie, the tied candidates will be ordered according to C1, then C2...
The Jury has the right to not admit any of the candidates that applied for this position whenever they consider that no candidate meets the minimum requirements for the position.
|Communication of the results:
Results will be published at the Instituto de Telecomunicações, Lisboa. The selected candidate will be notified by email.
Cover letter explaining the interest in the position and relevant background, detailed Curriculum Vitae with transcripts, Copy of the relevant certificates (Copy of the Degree Certificate(s)) — all written in English; and proof of enrollment (or proof of acceptance) in a higher education course or declaration of intention to enroll in a higher education course.
NOTE: The proof of enrollment in a higher education course must be made until the contract is signed.
Apply online clicking on the “Apply Now” button.
After the notification of the results, candidates have 10 working days if they wish to contest the decision.
E-mail submissions will not be considered. (The cover letter and the CV are mandatory documents in the online application platform)
All the selection process is conducted through the IT web portal. No actions outside this platform are valid.
09-05-2022 to 23-05-2022