Phd Position F/m Formal Modelling and Automated
il y a 4 semaines
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 research teams and 7 research support departments.
Staff is present on three campuses in Grenoble, in close collaboration with other research and higher education institutions (Université Grenoble Alpes, CNRS, CEA, INRAE,), but also with key economic players in the area.
The Centre Inria de l’Université Grenoble Alpes is active in the fields of high-performance computing, verification and embedded systems, modeling of the environment at multiple levels, and data science and artificial intelligence. The center is a top-level scientific institute with an extensive network of international collaborations in Europe and the rest of the world.
**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
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
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
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
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
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
- 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
**Informations générales**:
- **Thème/Domaine**: Systèmes distribués et intergiciels
Systèmes d'information (BAP E)
- **Ville**: Montbonnot
- **Centre Inria**: Centre Inria de l'Université Grenoble Alpes
- **Date de prise de fonction souhaitée**: 2024-10-01
- **Durée de contrat**: 3 ans
- **Date limite pour postuler**: 2024-06-30
**Consignes pour postuler**:
**Sécurité défense**:
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un p
-
Montbonnot-Saint-Martin, France INRIA Temps pleinContexte 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. ...
-
Montbonnot-Saint-Martin, France INRIA Temps pleinContexte 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. ...
-
Post-doctoral Research Visit F/m Formal Modeling
il y a 2 jours
Montbonnot-Saint-Martin, France Inria Temps pleinLe 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...
-
Phd Position F/m Anticipating Human Behavior for
il y a 4 jours
Montbonnot-Saint-Martin, France Inria Temps pleinLe 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...
-
Saint-Martin-d'Hères, France INRIA Temps pleinContexte 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...
-
Phd Position F/m
Il y a 2 mois
Montbonnot-Saint-Martin, France Inria Temps pleinLe 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
Il y a 2 mois
Montbonnot-Saint-Martin, France Inria Temps pleinLe 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...
-
Montbonnot-Saint-Martin, France INRIA Temps pleinContexte 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...
-
SAINT-ETIENNE, 42000, Auvergne-Rhône-Alpes, France Mines Saint-Etienne Temps pleinJOB 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...
-
Embedded Software Engieneer
il y a 2 semaines
Montbonnot-Saint-Martin, France KALRAY Temps pleinKalray 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...
-
SAINT-ETIENNE, 42000, Auvergne-Rhône-Alpes, France Mines Saint-Etienne Temps pleinTo 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...
-
Senior Power Electronics Engineer
il y a 1 jour
Montbonnot-Saint-Martin, France Eaton Temps pleinEaton Corporation is a diversified energy management company that achieved a revenue of $22.3 billion in 2023. With energy-efficient solutions, we support our customers in more effective, safer, more efficient, and more sustainable management of electrical, hydraulic, and mechanical energy. Eaton is committed to improving quality of life and protecting the...
-
Senior power electronics Engineer
il y a 3 semaines
Montbonnot Saint Martin, France Eaton Corporation Temps pleinEaton Corporation is a diversified energy management company that achieved a revenue of $22.3 billion in 2023. With energy-efficient solutions, we support our customers in more effective, safer, more efficient, and more sustainable management of electrical, hydraulic, and mechanical energy. Eaton is committed to improving quality of life and protecting the...
-
Asst Dir-qa Engineer
il y a 2 semaines
Montbonnot-Saint-Martin, France Moody's Temps pleinMoody's is a global integrated risk assessment firm that empowers organizations to make better decisions. We quantify diversification benefits across financial portfolios and identify different types of risks using our unique risk modelling approach. Thanks to our solution, we assist risk managers in overseeing and steering their asset...
-
Senior power electronics Engineer
il y a 3 semaines
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France Eaton Corporation Temps pleinEaton Corporation is a diversified energy management company that achieved a revenue of $22.3 billion in 2023. With energy-efficient solutions, we support our customers in more effective, safer, more efficient, and more sustainable management of electrical, hydraulic, and mechanical energy. Eaton is committed to improving quality of life and protecting the...
-
Senior power electronics Engineer
il y a 2 semaines
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France Eaton Corporation Temps pleinEaton Corporation is a diversified energy management company that achieved a revenue of $22.3 billion in 2023. With energy-efficient solutions, we support our customers in more effective, safer, more efficient, and more sustainable management of electrical, hydraulic, and mechanical energy. Eaton is committed to improving quality of life and protecting the...
-
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 -...
-
Robotics Junior Engineer
il y a 1 semaine
Montbonnot-Saint-Martin, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Contrat renouvelable **:Oui **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Ingénieur scientifique contractuel **Niveau d'expérience souhaité **:Jeune diplômé **A propos du centre ou de la direction fonctionnelle**: The Inria Grenoble -...
-
Post-doctoral position beamline PSICHE and ANATOMIX
il y a 3 semaines
Anzin-Saint-Aubin, Hauts-de-France SOLEIL Synchrotron Temps pleinLocated 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...
-
Development Engineer
il y a 1 mois
Montbonnot-Saint-Martin, France Silvaco Inc Temps plein**Overview** Silvaco, Inc. is a global company with a leading position among providers of EDA and SIP. The company is headquartered in Santa Clara, California, with offices in North America, Europe, and Asia. Silvaco is undergoing substantial growth driven by AI, IoT, display and big data, and is looking for key talent to join this rapidly expanding...
