Prof. Ahmed Bouajjani of U. Paris-Cité–IRIF and myself (Sorbonne-Université–LIP6 & Inria) are seeking a post-doc to work on programming tools for building distributed systems by composition.  Our Varda programming language is designed to ensure that components (either off-the-shelf and custom-built) behave and are assembled safely.  We pay particular attention to system evolution and to performance.  

The language allows to express the expected behavior of a component (its interface, its protocol, and its integrity invariants) and the overall system architecture (which components may communicate).  The compiler performs static and dynamic checks, and generates interaction code.  The run-time environment sandboxes the behavior of off-the-shelf components and supports the Varda abstraction.  The developer remains in control of performance-related features, such as placement and networking.

The post-doc is encouraged to perform research enhancing the Varda environment.  Suggestions include (i) stronger correctness checks, by composition with proof assistants or model checkers; (ii) better run-time capabilities, by composition with orchestration engines; (iii) enforce security properties in the run-time and as language constructs.

A fuller description, as well as the application procedure, can be found here: https://team.inria.fr/delys/job-offers/post-doc-2023-2024-a-programming-and-verification-environment-for-distributed-computing/
############################


Unsubscribe:

[log in to unmask]

If you don't already have a password for the LISTSERV.ACM.ORG server, we recommend
that you create one now. A LISTSERV password is linked to your email
address and can be used to access the web interface and all the lists to
which you are subscribed on the LISTSERV.ACM.ORG server.

To create a password, visit:

https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?GETPW1

Once you have created a password, you can log in and view or change your
subscription settings at:

https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?SUBED1=PODC