PhD Position F/M Formal Modelling and Automated Analysis of Resource Provisioning Languages

il y a 3 semaines

MontbonnotSaintMartin, France INRIA Temps plein

Contexte et atouts du poste

This PhD thesis is part of a collaboration between two Inria teams (Convecs in Grenoble and Spirals in Lille).The main location of the PhD thesis will be Grenoble (Inria Grenoble is located at Montbonnot Saint Martin). The project is funded by the Research National Agency (ANR) in the context of the PEPR Cloud project.

Mission confiée

Resource provisioning languages (such as TOSCA) allow one to model resource
properties and dependencies for distributed applications (for instance components interacting
via a network and hosting software), but also to automate provisioning, deployment
and instantiation of these resources. The resource provisioning languages
provide support to the Infrastructure as Code (IaC) approach, which is widely
present in the industry. These languages can also be considered as architecture
description languages (ADL). The IaC approach is particularly popular and used
in cloud computing in order to avoid manual tasks and thus automate as much as
possible the deployment and update of applications based on services available
in the cloud.

Principales activités

The first objective of this PhD Thesis is to extend and improve resource
provisioning languages in terms of expressiveness while providing a formal semantics
to them. The plan is to study existing resource provisioning languages (including TOSCA),
in order to evaluate them in terms of expressiveness and precisely identify the
application lifecycles allowed by these languages. This study could lead to
the definition of a new Domain Specific Language expressive enough to represent
complex orchestration operators and model specific lifecycles. This new
language will be equipped with a formal semantics so as to avoid ambiguity and
simplify its further analysis.

The second objective of this PhD Thesis is to develop automated analysis
techniques to verify behavioural and quantitative properties that must respect
the applications deployed using the aforementioned languages. Several functional
properties have already been identified for resource provisioning languages.
To analyze these properties, a possible solution is to rely on model checking techniques.
The verification of quantitative properties is also planned, particularly
deployment times and costs but also the detection of undesired delays that could be
avoided during the deployment or reconfiguration of a cloud application.

All the contributions made during this PhD Thesis will be validated via
prototype tools and applied on realistic case studies.

Compétences

# Required skills and profile:

 - Knowledge of cloud computing and information/data models is welcome
 - Knowledge of formal methods (concurrency theory) and verification is a plus
 - Candidates who enjoy programming would be appreciated, as the work will include software development
 - Education: MSc/Master 2 Recherche in Computer Science
 - Good command of English as the working language, French is a plus
 

Avantages

Subsidized meals Partial reimbursement of public transport costs Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.) Possibility of teleworking and flexible organization of working hours Professional equipment available (videoconferencing, loan of computer equipment, etc.) Social, cultural and sports events and activities Access to vocational training Social security coverage

Rémunération

1st year: 2082 euros gross salary 2nd & 3rd years: 2191 euros gross salary

  • Phd Position F/m Formal Modelling and Automated

    il y a 3 semaines

    Montbonnot-Saint-Martin, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Niveau d'expérience souhaité **:Jeune diplômé **A propos du centre ou de la direction fonctionnelle**: The Centre Inria de l’Université de Grenoble groups together almost 600 people in 22...

  • Post-doctoral Research Visit F/m Formal Modeling

    il y a 1 jour

    Montbonnot-Saint-Martin, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Thèse ou équivalent **Fonction **:Post-Doctorant **A propos du centre ou de la direction fonctionnelle**: The Centre Inria de l’Université de Grenoble groups together almost 600 people in 22 research teams and 8 research support...

  • Trajectories of Living Well and Ageing Well On Its

    Il y a 2 mois

    Saint-Geours-de-Maremne, France LIUPPA Temps plein

    **TRAJECTORIES OF LIVING WELL AND AGEING WELL ON ITS TERRITORY**: - Réf - **ABG-116229** - Sujet de Thèse- 17/08/2023- Financement public/privé- LIUPPA- Lieu de travail- Saint-Geours-de-Maremne (Domolandes) - Nouvelle Aquitaine - France- Intitulé du sujet- TRAJECTORIES OF LIVING WELL AND AGEING WELL ON ITS TERRITORY- Champs scientifiques- Informatique -...

  • Phd Position F/m Anticipating Human Behavior for

    il y a 3 jours

    Montbonnot-Saint-Martin, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Thèse ou équivalent **Fonction **:Doctorant **A propos du centre ou de la direction fonctionnelle**: The Inria Grenoble research center groups together almost 600 people in 23 research teams and 7 research support departments. Staff is present...

  • Phd Position F/m

    Il y a 2 mois

    Montbonnot-Saint-Martin, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **A propos du centre ou de la direction fonctionnelle**: The Centre Inria de l’Université de Grenoble groups together almost 600 people in 22 research teams and 7 research support...

  • PhD Position F/M Framework for the Efficient Coupling Parallel Numerical Solvers and Deep Neural Networks on Supercomputers

    il y a 1 semaine

    Saint-Martin-d'Hères, France INRIA Temps plein

    Contexte et atouts du poste The candidate will join the Mission confiée Context The field ofAI4science is rapidly growing, focusing on the integration of deep learning-based techniques into traditional numerical simulations. This PhD position aims to investigate software solutions that enable the efficient and flexible coupling of deep...

  • Internship : Large Language Model Fine Tuning

    Il y a 2 mois

    Montbonnot-Saint-Martin, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:Stage **Niveau de diplôme exigé **:Bac + 3 ou équivalent **Fonction **:Stagiaire de la recherche **A propos du centre ou de la direction fonctionnelle**: The Centre Inria de l’Université de Grenoble groups together almost 600 people in 22 research teams and 7 research...

  • Embedded Software Engieneer

    il y a 1 semaine

    Montbonnot-Saint-Martin, France KALRAY Temps plein

    Kalray est une des plus prometteuses et innovantes sociétés de la « DeepTech » françaises. Essaimage du CEA, un des plus prestigieux laboratoires de recherche européens, Kalray est une société de semi-conducteurs « fabless », pionnière dans une nouvelle génération de processeurs, spécialisés dans le traitement intelligent des données. Kalray...

  • Phd Position In Simulation And Analysis Of 3D Microstructures By Minkowski Functionals And Deep Learning

    il y a 2 semaines

    SAINT-ETIENNE, 42000, Auvergne-Rhône-Alpes, France Mines Saint-Etienne Temps plein

    To support this strategy, IT is recruiting a PhD student.JOB DESCRIPTION :The "Sciences des Processus Industriels et Naturels" (SPIN) centre is a research, teaching and technology transfer centre renowned for its expertise in Process Engineering applied to divided solids (grains, pores, particles, powders, soils, ores). As part of the Georges Friedel...

  • Environmental Assessment and Life Cycle Analysis

    il y a 3 semaines

    Saint-Fons, France Syensqo Temps plein

    Syensqo is all about chemistry. We’re not just referring to chemical reactions here, but also to the magic that occurs when the brightest minds get to work together. This is where our true strength lies. In you. In your future colleagues and in all your differences. And of course, in your ideas to improve lives while preserving our planet’s beauty for...

  • Post-Doctoral Research Visit F/M Large-Scale Density Systems: Modeling and Control for Electromobility Applications

    il y a 3 semaines

    Montbonnot-Saint-Martin, France INRIA Temps plein

    Contexte et atouts du poste Context. This research will be conducted by the DANCE research team (webpage): DANCE (“Dynamics and Control of Networks”) is a joint team of GIPSA-lab and Inria Grenoble–Rhône-Alpes. Our team has a strong expertise in modeling, estimation and control problems for networks, and specifically for large networks. The...

  • Phd Position F/m

    Il y a 2 mois

    Montbonnot-Saint-Martin, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **A propos du centre ou de la direction fonctionnelle**: The Centre Inria de l’Université de Grenoble groups together almost 600 people in 22 research teams and 7 research support...

  • Automation Engineer

    Il y a 2 mois

    Saint-Nazaire, France questW Temps plein

    Tasks Designing, developing, improving, installing and commissioning automated systems and industrial robots will fall within the purview of the Automation Engineer/Industrial Roboticien to enhance production procedures and enhance corporate performance. - Programming industrial robots to perform specific tasks according to defined requirements. - Identify...

  • Internship : Large Language Model Fine Tuning

    il y a 4 jours

    Montbonnot-Saint-Martin, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:Stage **Niveau de diplôme exigé **:Bac + 3 ou équivalent **Fonction **:Stagiaire de la recherche **A propos du centre ou de la direction fonctionnelle**: The Centre Inria de l’Université de Grenoble groups together almost 600 people in 22 research teams and 7 research...

  • Analysis of Turn-rich Bioactive Peptide Properties

    Il y a 2 mois

    Mont-Saint-Aignan, France UMR 6014 CNRS Temps plein

    **Analysis of turn-rich bioactive peptide properties through an approach combining solution and solid-state NMR and theoretical calculations**: - Réf **ABG-123498** - Sujet de Thèse- 30/04/2024- Contrat doctoral- UMR 6014 CNRS- Lieu de travail- MONT-SAINT-AIGNAN - Normandie - France- Intitulé du sujet- Analysis of turn-rich bioactive peptide properties...

  • Phd Position In Fluid Mechanics And Numerics For Thermochemical Heat Storage

    il y a 2 semaines

    SAINT-ETIENNE, 42000, Auvergne-Rhône-Alpes, France Mines Saint-Etienne Temps plein

    JOB DESCRIPTION :The position to BE filled is that of a highly motivated and skilled PhD student to contribute to an applied research project at Centre SPIN. The overarching goal is to develop trustworthy predictive physico-chemical models of electrical and solar rotary kilns for energy storage.Centre SPIN (« Sciences des Processus Industriels et Naturels...

  • Post-doctoral position beamline PSICHE and ANATOMIX

    il y a 3 semaines

    Anzin-Saint-Aubin, Hauts-de-France SOLEIL Synchrotron Temps plein

    Located in the heart of the Paris-Saclay cluster, some twenty kilometers from Paris, SOLEIL is the French synchrotron radiation source. In this Very Large Research Infrastructure, the experiments are based on the use of a light radiation produced by electron bunches circulating almost at the speed of light in a ring.This exceptionally bright radiation covers...

  • Scalable Unsupervised Subtle Anomaly Detection From

    il y a 3 semaines

    Montbonnot-Saint-Martin, France Inria Temps plein

    **Type de contrat **:Convention de stage **Niveau de diplôme exigé **:Bac + 4 ou équivalent **Fonction **:Stagiaire de la recherche **Niveau d'expérience souhaité **:De 3 à 5 ans **A propos du centre ou de la direction fonctionnelle**: The Centre Inria de l’Université de Grenoble groups together almost 600 people in 22 research teams and 7...

  • Marketing & Financing Apprentice

    il y a 6 jours

    Montbonnot-Saint-Martin, France Dillico Temps plein

    mRNA is an extraordinary opportunity to provide vaccines and therapies in a record time and at the right cost and place, especially in countries that have been poorly served up to now. Such a fast-to-develop technology should go with a fast-to-scale manufacturing process, offering highly flexible capacity. Furthermore, the Biopharma industry needs to be...

  • Financial Planning

    il y a 5 jours

    Saint-Priest, France Volvo Group Temps plein

    Financial Planning & Analysis controller **Location**:Saint Priest, FR, 69800**Position Type**:Professional- Transport is at the core of modern society. Imagine using your expertise to shape sustainable transport solutions for the future? If you seek to make a difference on a global scale, working with next-gen technologies and the sharpest collaborative...