Creating and sharing knowledge for telecommunications

Research Position:

Note: This is a free translation of the original announcement written in Portuguese, provided only for convenience of non-Portuguese speakers. Only the Portuguese version has official value.
Title:
B-0079-22 – Research Grant (BI) – 06/05/2022 – DeDuCe – PTDC/CCI-COM/32166/2017
Funding Reference Number:
PTDC/CCI-COM/32166/2017
Summary:
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.
Scientific Area:
Basic Sciences and Enabling Technologies
Group:
Security and Quantum Information - Lx
Admission Requirements:
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.
Work Objectives:
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.
Applicable legislation:
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.
Duration:
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
Monthly salary:
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.
Selection criteria:
  • C1 (60%)
    academic qualification in the areas of program analysis, distributed programming in Java and replicated systems, where proven familiarity with the topics of the task is valued
  • C2 (30%)
    experience and professional activity
  • C3 (10%)
    publication record

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.
Jury:
  • Prof. Ana Gualdina Almeida Matos, Instituto Superior Técnico (President of the jury)
  • Prof. Hervé Paulino, Faculdade de Ciências e Tecnologia / Universidade Nova de Lisboa
  • Prof. António Maria Alarcão Ravara, Faculdade de Ciências e Tecnologia / Universidade Nova de Lisboa
  • Prof. Jan Gunnar Cederquist, Instituto Superior Técnico (Substitute)
Communication of the results:
Results will be published at the Instituto de Telecomunicações, Lisboa. The selected candidate will be notified by email.
Required Documents:
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.
Application Period:
09-05-2022 to 23-05-2022
Assistance:
Send Email
Published on:
06-05-2022
fct logos

SHARE: