Doctorant F/H Extension de Binsec/Rel avec "software/hardware contracts"
il y a 5 heures
Doctorant F/H Extension de Binsec/Rel avec "software/hardware contracts" Partenariat avec CEA Adopter le cadre de modélisation des fuites présenté dans [2].Concevoir et analyser des transformations de programmes inspirées de [3] afin d’assurer la sécurité vis-à-vis d’une classe plus large de clauses de fuites. ÉtendreBinsec/Rel[4] au-delà du modèle de fuites en temps constant pour supporter de nouvelles classes de modèles de fuites définies dans [1].Appliquer l’outil étendu à des implémentations de cryptographie sur courbes elliptiques (ECC).Évaluer dans quelle mesure les transformations proposées garantissent effectivement le niveau de sécurité souhaité. Pour une meilleure connaissance du sujet de recherche proposé : Braun et al. – Avoiding Instruction-Centric Microarchitectural Timing Channels via Binary-Code Transformations ( link ) Implémentation et évaluation des résultats : développement des outils et prototypes, mise en œuvre des approches proposées, expérimentation, analyse des performances et validation des résultats obtenus. Recherche bibliographique et état de l’art : étude approfondie des travaux existants, compréhension des approches actuelles et identification des limites et verrous scientifiques. Conception et formalisation des méthodes : définition des modèles, des algorithmes ou des cadres théoriques, justification des choix méthodologiques et élaboration des contributions scientifiques. Rédaction et diffusion des travaux scientifiques : rédaction d’articles, participation à des conférences et workshops, rédaction du manuscrit de thèse et valorisation des résultats. Compétences techniques et niveau requis : Compétences relationnelles : Compétences additionnelles appréciées : Restauration subventionnée Transports publics remboursés partiellement Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement) Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.) Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria) Vous pouvez donner là, un portrait à "gros traits" du (de la) collaborateur(trice) attendu(e) : ce que vous voyez comme nécessaire et suffisant et qui peut associer : goûts et appétences, domaine d'excellence, éléments de personnalité ou de caractère, savoir et savoir faire transversaux... Cette rubrique permet de compléter et alléger (réduire) la liste plus formelle des compétences : "Se sentir à l'aise dans un environnement de dynamique scientifique, aimer apprendre et écouter sont des qualités essentielles pour réussir cette mission." " Passionné(e) par l'innovation, avec une expertise dans le développement Ruby on Rail et une grande capacité de conviction. Une thèse dans le domaine *** constitue un réel atout." #J-18808-Ljbffr
-
Doctorant Binsec/Rel — Sécurité des fuites
il y a 8 heures
Valbonne, France Inria Temps pleinUn institut de recherche en informatique recherche un doctorant F/H pour travailler sur l'extension de Binsec/Rel et la sécurité des transformations de programmes. Le candidat idéal est passionné par l'innovation, a une expertise en développement Ruby on Rail et une capacité à travailler dans un environnement scientifique dynamique. Ce poste propose...
-
C/C++ Software engineer
il y a 3 heures
Valbonne, France jobr.pro Temps pleinCompany Description🚀 About ALTENALTEN is the European leader in consultancy and high-tech engineering. For over 30 years, we have been supporting international companies on technical and IT challenges.With 52,000 employees across 30+ countries, we drive innovation in aerospace, automotive, banking & finance, energy, defense, healthcare,...
-
Graduate CPU OS Verification Software/Hardware Engineer
il y a 4 heures
Valbonne, France Arm Temps pleinJob Description: If you are curious about the interaction between software and hardware and interested in applying your knowledge in a world-leading commercial processor group, this could be the role for you! What could you be doing as a CPU OS Verification Software/Hardware Engineer? Improve your software skills, while deepening your understanding of the...
-
Embedded Software Engineer
il y a 8 heures
Valbonne, France Hillcrest Labs, acquired by CEVA Temps pleinAbout the Business Unit Ceva is at the forefront of the Smart Edge revolution, with innovative state‑of‑the‑art Silicon and Software solutions that enable products to Connect, Sense and Infer. Within the Wireless Internet of Things Business Unit (WIoT BU), we offer a unique opportunity to shape the future of connected devices. Our advanced wireless...
-
Architecte Hardware F/H
il y a 7 heures
Valbonne, France Thales Group Temps pleinArchitecte Hardware F/H page is loaded## Architecte Hardware F/Hlocations: Sophia Antipolistime type: Full timeposted on: Posted Yesterdayjob requisition id: R0308121Lieu : Sophia Antipolis, France## **Construisons ensemble un avenir de confiance**Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité :...
-
R&D Software Engineer: NoC Hardware Automation
il y a 6 heures
Valbonne, France Qualcomm Temps pleinA leading technology company in France is seeking engineers to automate NoC components and enhance internal tools. Candidates should be skilled in C++ and Python, with a strong foundation in software development and automation techniques. The role offers opportunities to work with innovative technologies, contributing to various stages of product development...
-
Software Performance Architect
il y a 8 heures
Valbonne, France Arm Temps pleinOverviewWe are the CPU Technology team, part of Arm Central Technology Group. This diverse engineering centric group invents, defines and architects Technologies to be deployed in tomorrow's IP solutions from Arm. The CPU Technology team tackles next-generation Arm CPUs, inventing new concepts that will fuel billions of devices...
-
Graduate ARM CPU OS Verification Engineer
il y a 8 heures
Valbonne, France Arm Temps pleinA leading technology company in Valbonne is seeking a CPU OS Verification Software/Hardware Engineer to enhance software skills and understand CPU internals. You'll boot operating systems on ARM CPUs, validate new hardware, and create tools for verification. Ideal candidates hold a degree in Computer Science or Electronic Engineering and have experience...
-
R&D Engineer, software programming for hardware development
il y a 4 heures
Valbonne, France Qualcomm Temps pleinCompany: Qualcomm France S.A.R.L. Job Area: Engineering Group, Engineering Group > ASICS Engineering General Summary: Qualcomm France (QITC Qualcomm Interconnect Technology Center) division develops and deploys custom-built interconnect (NoC – Network-on-Chip) hardware IPs, software tools, exploration and verification methodologies so that SoC integration...
-
R&D Engineer, software programming for hardware development
il y a 7 heures
Valbonne, France Qualcomm Temps pleinOverviewQualcomm France S.A.R.L. (QITC Qualcomm Interconnect Technology Center) division develops and deploys custom-built interconnect (NoC – Network-on-Chip) hardware IPs, software tools, exploration and verification methodologies so that SoC integration teams can quickly assemble SoCs with the desired Power Performance Area (PPA) characteristics. To...
