Publication of an article at the national conference “Journées Francophones des Langages Applicatifs”
Formal semantics for architectural description – Hadrien Renaud’s PhD project, co-supervised by Jade Alglave at UCL and Luc Maranget at INRIA This PhD proposal aims to explore formal semantics for architectural description languages, such as the Arm Specification Language (ASL), and the domain-specific language called cat, which is used to…
Call for Postdoctoral Research Positions – Inria London
Every year Inria International Relations Department has a few postdoctoral positions in order to support Inria international collaborations. In 2024, six postdoctoral positions have been allocated for this purpose, to be selected among the following institutional collaborations and priorities:Inria Brasil, Inria Chile, Inria CWI (The Netherlands), Inria ECDF (Germany), Inria…
Associate Teams 2023: call for proposals is now open!
We are pleased to announce the publication of the 2023 call for proposals for the Inria Associate Teams program. The full documentation of the 2023 call for proposals is available on the Inria website: https://www.inria.fr/en/call-for-projects-international-partnerships-associate-teams-2023 The Inria researcher coordinating the project on the French side have to submit the online application form…
Call for Postdoctoral Research Positions – Inria London
Every year the International Relations Department of Inria launches a recruitment campaign for Post-Doctoral positions in order to support Inria international collaborations. Inria London is one of the priority cooperation programs for this year. The postdoc contract will have a duration of 12 to 24 months. The default start date…
