The Computability Hierarchy of Broadcast Abstractions

19 Feb 2024
Job Information

Organisation/Company

Nantes Université

Department

LS2N

Research Field

Computer science » Other

Researcher Profile

First Stage Researcher (R1)

Country

France

Application Deadline

1 Apr 2024 – 23:59 (Europe/Paris)

Type of Contract

Temporary

Job Status

Full-time

Hours Per Week

35

Offer Starting Date

1 Sep 2024

Is the job funded through the EU Research Framework Programme?

Not funded by an EU programme

Is the Job related to staff position within a Research Infrastructure?

Yes

Offer Description

This thesis topic focuses on the creation of a unified computational framework to facilitate exploration and innovation in the field of distributed computing through the study of broadcast primitives as fundamental abstractions. It aims to determine how various distributed problems can be efficiently abstracted and solved using these primitives, in order to form a unified framework for the study of distributed problems. This research seeks to simplify the design and implementation of distributed systems, making these systems more accessible to non-expert engineers and facilitating the management of synchronization and data coherence. This work will strive to answer important open questions by proposing new algorithms or demonstrating impossibility theorems, such as the existence of broadcast abstractions “capturing” given distributed problems, and the expressivness of broadcast specifications to describe specific distributed computing problems. 

Requirements

Research Field

Computer science » Other

Education Level

Master Degree or equivalent

Additional Information
Work Location(s)

Number of offers available

1

Company/Institute

Université de Nantes

Country

France

Geofield

Where to apply

E-mail

[email protected]

Contact

City

Nantes

Website

http://WWW.UNIV-NANTES.FR

E-Mail

[email protected]

STATUS: EXPIRED