Emplois actuels liés à Phd Position F/m Modular Compilation of Real-time Programs - Villeneuved'Ascq - Inria
-
Villeneuve-d'Ascq, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Niveau de diplôme exigé**: Bac + 5 ou équivalent **Fonction**: Doctorant **A propos du centre ou de la direction fonctionnelle**: The Inria University of Lille centre, created in 2008, employs 360 people including 305 scientists in 15 research teams. Recognised for its strong involvement in the...
-
Phd in Resource Allocation for Energy Sobriety in
il y a 7 jours
Villeneuve-d'Ascq, France IMT Nord Europe Temps plein**PhD in Resource allocation for energy sobriety in secure wireless communication systems impaired by nonlinearities**: - Réf **ABG-126120** - Sujet de Thèse- 04/10/2024- Contrat doctoral- IMT Nord Europe- Lieu de travail- Villeneuve d'Ascq - Les Hauts de France - France- Intitulé du sujet- PhD in Resource allocation for energy sobriety in secure...
-
Assistant professor position in management H
il y a 4 semaines
Villeneuve-d'Ascq, Hauts-de-France SKEMA Business School Temps pleinAssistant professor position in management H / FSKEMA | AT HOME WORLDWIDEPOSITION AT SKEMA BUSINESS SCHOOL (FRANCE)The KTO Research Centre at SKEMA has opened a full-time assistant professor position in Management. We are looking for motivated candidates with an excellent or highly promising research record and demonstrable teaching skills to integrate one...
-
Postdoctoral Position Offer: Hybrid Beamforming
il y a 6 jours
Villeneuve-d'Ascq, France Institut Mines-Télécom Temps plein**Unit **:Centre for Digital Systems **Line Manager**: Sylvain Lecomte **Type of contract and duration **:Fixed term contract - 18 months **Workplace**: Villeneuve d’Ascq **CONTEXT**: Public establishment belonging to IMT (Institut Mines-Télécom), placed under the supervision of the Ministry of Economy, Finance and Industrial and Digital Sovereignty,...
-
Junior Specialist
il y a 7 jours
Villeneuve-d'Ascq, France McCain Foods Limited Temps plein**Position Title**:Junior Specialist - Specification Management **Position Type**: Regular - Full-Time **Position Location**: VilleneuvedAscq 2020 **Grade**: Grade 04 **Requisition ID**: 32139 We are looking for our new **Junior Specialist - specification management M/F/X**.*** You will provide support to R&D technical leads in implementing all...
-
Head of Audit HF
il y a 4 semaines
Villeneuve-d'Ascq, Hauts-de-France Kingfisher Temps pleinB&Q, Screwfix, Brico Depot, Castorama and Koctas - to life. We want to ensure that all colleagues, future colleagues, and applicants to Kingfisher are treated equally regardless of age, gender, marital or civil partnership status, colour, ethnic or national origin, culture, religious belief, philosophical belief, political opinion, disability, gender...
-
Head of Audit HF
il y a 4 semaines
Villeneuve-d'Ascq, Hauts-de-France Kingfisher Temps pleinOverviewWe're Kingfisher, a team made up of over 78,000 passionate people who bring Kingfisher - and all our other brands: B&Q, Screwfix, Brico Depot, Castorama and Koctas - to life. We want to become the leading home improvement company and grow the largest community of home improvers in the world. And that's where you come in.At Kingfisher our customers...
-
Optimisation énergétique D'un Noeud Radio Iot Biomimétique
il y a 6 jours
Villeneuve-d'Ascq, France Université de Lille Temps plein**Optimisation énergétique d'un noeud Radio IoT biomimétique // Biomimetic highly energy efficient IoT Radio node**: - Réf **ABG-128821** **ADUM-62002** - Sujet de Thèse - 22/02/2025 - Contrat doctoral - Université de Lille - Lieu de travail- Villeneuve d'Ascq - France - Intitulé du sujet- Optimisation énergétique d'un noeud Radio IoT biomimétique...
-
Head of Audit HF
il y a 4 semaines
Villeneuve-d'Ascq, Nord, France Kingfisher Temps pleinOverviewWe're Kingfisher, a team made up of over 78,000 passionate people who bring Kingfisher - and all our other brands: B&Q, Screwfix, Brico Depot, Castorama and Koctas - to life. We want to become the leading home improvement company and grow the largest community of home improvers in the world. And that's where you come in.At Kingfisher our customers...
-
Sous Chef Junior
il y a 4 semaines
Villeneuve-d'Ascq, France Four Seasons Hotel Megeve Temps pleinAbout Four Seasons:Four Seasons is powered by our people. We are a collective of individuals who crave to become better, to push ourselves to new heights and to treat each other as we wish to be treated in return. Our team members around the world create amazing experiences for our guests, residents, and partners through a commitment to luxury with genuine...
-
Sous Chef Junior
il y a 4 semaines
Villeneuve-d'Ascq, Hauts-de-France Four Seasons Hotel Megeve Temps pleinAbout Four Seasons:Four Seasons is powered by our people. We are a collective of individuals who crave to become better, to push ourselves to new heights and to treat each other as we wish to be treated in return. Our team members around the world create amazing experiences for our guests, residents, and partners through a commitment to luxury with genuine...
-
Responsable de programmes en alternance H/F
il y a 6 jours
Villeneuve-d'Ascq, Hauts-de-France GIE SEPTALIA Temps pleinA propos de l'entreprise : Créé par CDC Habitat, Maisons & Cités, Vilogia et Vilogia Logifim, Septalia est le plus important groupement de bailleurs sociaux des Hauts-de-France. Septalia rassemble et coordonne des moyens humains, techniques et financiers de ses fondateurs avec pour objectif d'accélérer les programmes de construction et de...
-
HR Business Partner
il y a 4 semaines
Villeneuve-d'Ascq, Hauts-de-France Mase Consulting Ltd Temps pleinWe are seeking a highly experienced" Principal Program Manager" to coordinate and drive the successful execution of global initiatives across multiple business units, including Commercial, Technology, and Operations. In this role, you will focus on managing processes, timelines, and communication to ensure alignment and delivery of key projects. This role...
-
juriste en alternance f/h
il y a 4 semaines
Villeneuve-d'Ascq, Hauts-de-France Association Job In Real Life Temps pleinJuriste Droit des affaires en alternance F/HMission proposéePostule au poste de Juriste Droit des affaires en alternance F/H en quelques clics. C'est gratuit Profil recherchéVous interviendrez au sein du Service Droit des Affaires (dépendant de la Direction du Pilotage).Rattaché(e) à la Direction Juridique, vos missions seront les suivantes :Analyse des...
-
Juriste Droit des affaires en alternance F/H
il y a 4 semaines
Villeneuve-d'Ascq, Hauts-de-France Association Job In Real Life Temps pleinJuriste Droit des affaires en alternance F/HMission proposéePostule au poste de Juriste Droit des affaires en alternance F/H en quelques clics. C'est gratuit Profil recherchéVous interviendrez au sein du Service Droit des Affaires (dépendant de la Direction du Pilotage).Rattaché(e) à la Direction Juridique, vos missions seront les suivantes :Analyse des...
-
Network Engineer
il y a 4 semaines
Villeneuve-d'Ascq, Nord, France - Temps pleinCompany DescriptionMondial Relay, a smile on every street corner!We offer a simple, fast, economical and virtuous parcel shipping and delivery service, through a network of Relay Points and Lockers, creating links between e-merchants, merchants and consumers. Becoming the leader in out-of-home delivery in Europe is the challenge that our 1,400 employees are...
-
Stage de Fin D'études Sûreté de Fonctionnement
il y a 7 jours
Villeneuve-Loubet, France Ansys Temps pleinAnsys is the global leader in engineering simulation, helping the world's most innovative companies deliver radically better products to their customers. By offering the best and broadest portfolio of engineering simulation software, Ansys helps companies solve the most complex design challenges and engineer products limited only by imagination. **Summary /...
-
Responsable de Secteur
il y a 7 jours
Villeneuve-d'Ascq, France McCain Foods Limited Temps plein**Position Title**:Responsable de Secteur - Occitanie **Position Type**: Regular - Full-Time **Position Location**:VilleneuvedAscq 2020 **Requisition ID**: 32688 Le Responsable de secteur (Sales Representative) est responsable de la gestion des activités de vente dans la région subordonnée, conformément à la stratégie, aux objectifs, aux plans et...
-
Responsable d'Exploitation et Maintenance Technique H/F
il y a 4 semaines
Villeneuve-d'Ascq, Hauts-de-France TN France Temps pleinCoordonnateur Déploiement Exploitation et Maintenance - Villeneuve d'Ascq (59) - H/F, Villeneuve-d'AscqVilleneuve-d'Ascq, FranceLe posteEn rejoignant nos équipes, vous participez à l'amélioration et au déploiement de nos services pour nos abonnés, en installant les équipements nécessaires au bon fonctionnement de nos lignes Fibre et ADSL, des sites...
-
Product Owner E commerce et Digital H/F
il y a 4 semaines
Villeneuve-d'Ascq, Hauts-de-France Navalia Executive Search Temps pleinPrésidente du Groupe LSPG, Navalia Executive Search & Kalyptus IT & Digital RecrutementPourquoi notre client recrute un Head Of Digital Product ?Navalia, Executive Search accompagne un groupe spécialisé dans le E-Commerce dans le cadre du recrutement de leur futur Head of Digital Product.Rattaché au Head Of Marketing, le Head Of Digital Product est en...
Phd Position F/m Modular Compilation of Real-time Programs
il y a 1 semaine
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 Inria University of Lille centre, created in 2008, employs 360 people including 305 scientists in 15 research teams. Recognised for its strong involvement in the socio-economic development of the Hauts-De-France region, the Inria University of Lille centre pursues a close relationship with large companies and SMEs. By promoting synergies between researchers and industrialists, Inria participates in the transfer of skills and expertise in digital technologies and provides access to the best European and international research for the benefit of innovation and companies, particularly in the region.For more than 10 years, the Inria University of Lille centre has been located at the heart of Lille's university and scientific ecosystem, as well as at the heart of Frenchtech, with a technology showroom based on Avenue de Bretagne in Lille, on the EuraTechnologies site of economic excellence dedicated to information and communication technologies (ICT).
**Contexte et atouts du poste**:
The PhD student will be part of the SyCoMoRES team of Inria Lille & CRIStAL lab, which currently hosts 3 fellow PhD students and one postdoc. Lille is a city close to Brussels, Paris & London, easily reachable by train, with a large student population and a number of cultural places & events.
PhD students are appointed for a duration of 3 years. We plan to organize weekly research meetings with the PhD student.
**Mission confiée**:
A real-time system controls a physical device in its environment, at a rate adapted to the device evolution. This requires not only to compute correct values, but also to compute values at the right time. Real-time systems can be found in several industrial domains, such as automotive, aeronautics, nuclear plants or automated production lines.
Many ERTS are of critical nature; a malfunction may damage properties or even put human lives in danger. So as to ensure the safety of ERTS, a wide range of formal techniques have been proposed to support their design, implementation and validation. Unfortunately, one of the main drawbacks of formal methods is their poor scalability, thus limiting their applicability to complex modern ERTS. A classical approach to reduce complexity is the component-based approach. First, the system is decomposed into smaller components, each developed and analyzed in isolation. Then, the components are integrated together, and a simpler analysis is performed at the integration level.
In the current industrial practice for the development of ERTS, timing requirements are specified and analyzed only at the global level, when assembling all components. Thus, timing analysis suffers from the scalability issues mentioned previously.
The objective of the thesis is to contribute to a framework for the component-based development of real-time systems, by focusing on modular compilation.
The system will be programmed with the synchronous data-flow language Prelude, which was specifically designed for the development of critical ERTS. The language already contains constructs to structure a program as a hierarchical set of components. However, the Prelude compiler flattens the program before translating it into a non-hierarchical set of concurrent threads implemented in C.
The applicant we will study the compilation of a Prelude program into C modules structured with a hierarchy similar to that of the source program. They will define a notion of real-time interface for modules, which will expose the temporal characteristics necessary to compose modules together. The compiler will target execution with a Real-Time Operating System equipped with a hierarchical scheduler. In this scheduling model, each module is assigned a partition of the system resources and its sub-modules are executed by a local scheduler. Top-level modules are executed by a global scheduler. Particular care will go into ensuring that the semantics of the Prelude program is preserved by the compilation, especially regarding the temporal characteristics of the module interfaces.
**Principales activités**:
- The following activities will be carried out during the thesis:
- Bibliographic research
- Proposing solutions for the identified research directions
- Writing research papers on the thesis results
- Teaching (optional)
**Compétences**:
Technical skills: a good background on computer science and embedded systems.
Languages: English. French is _not_ required.
Other valued, appreciated: compilation, synchronous languages, real-time systems, OCaml
**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.
