博士研究生研究奖学金竞争

Work Plan 1. Study of the state of the art on numerical invariants under weak consistency: escrow techniques, bounded counters, reservations and RedBlue/Explicit consistency, and identification of the scenarios in which they still require coordination. 2. Extension of the No-Op model to numerical invariants: integration of escrow techniques into the conflict resolution model and refinement of the algorithm to reduce the unnecessary transformation of operations into No-Ops. 3. Formalisation and proof of the convergence and invariant preservation properties of the extended model. 4. Experimental evaluation of the extended model against coordination-based and reservation-based approaches, in geo-replicated and offline scenarios. 5. Writing of the technical report describing the work carried out. Workplace: The work will be developed at NOVA Laboratory for Computer Science and Informatics, Computer Science Department – NOVA FCT, under the supervision of Professor Carla Ferreira. Fellowship duration: The scholarship will last for 6 months, eventually renewed within the duration of the project. Application deadline and form of application submission: this call is open from 16/11/2026 to 27/11/2026. The application must include the following documents: CV, motivation letter, copy of academic records/certificates* and proof of enrollment in a Doctoral program, or in non-degree course in the field of Computer Science at a Higher Education Institution (if the candidate is not enrolled at the time of application, a declaration of honour stating that they fulfil the requirements necessary to enroll in the program). Applications should be sent by e-mail to Professor Carla Ferreira () and CC to with the subject #NOVAID-B549. Documents that are of mandatory submission, for purposes of the studentship contracting: proof of enrollment in a PhD program or in non-degree course in the field of Computer Science at a Higher Education Institution. * In case of foreign academic degrees, and to guarantee the application of the principle of equal treatment to applicants with national and foreign academic degrees, it is mandatory to submit the recognition of such degrees and the conversion of the respective final grade to the Portuguese grading scale. Applicable legislation and regulations: Law No. 40/2004, of August 18, amended and republished by Decree-Law No. 202/2012 of August 27 (Statute of the Scientific Research Fellow) and amended by Decree-Law No. 233/2012 of October 29, by Law No. 12 /2013 of 29 January, by Decree-Law No. 89/2013, of 9 July and Decree-Law No. 123/2019, of 28 August; Regulation of Research Grants of NOVA.id.FCT – Association for Innovation and Development of FCT; Regulation of Research Grants of the Foundation for Science and Technology, I.P. in force ();