Formal Verification and Embedded Rust for Secure Low-Power IoT Systems

R&D Software Engineer - Secure Embedded SystemsOasis Smart SIM is seeking a highly skilled R&D Software Engineer - Secure Embedded Systems to join our team in Aix-en-Provence, France. As a key member of our team, you will be responsible for the development, support, and maintenance of our Oasis HeliOS Operating System for SIM, eSIM, and iSIM.Key...

Job SummaryAs an Embedded Security Specialist at Trustonic Inc., you will be responsible for developing and integrating our Security Solution products with customers' platforms. This role requires expertise in embedded software development, debugging, and testing, with a focus on Native and low-level C Code development, System libraries, Kernel drivers, and...

Job Title: SoC Verification EngineerArm's Systems Development team is seeking a skilled SoC Verification Engineer to join our team. As a key member of our team, you will be responsible for verifying and testing sophisticated IP products, including CPU/GPU/DSP processors with memory controllers and interconnect fabrics.Responsibilities:Develop and implement...

Product Marketing Manager Job SummaryWe are looking for a Product Marketing Manager to join our team at Secure-IC. As a key member of our Product Management department, you will be responsible for coordinating product roadmap topics and ensuring the competitiveness of our Software Product portfolio.Your primary focus will be on the Chip-to-Cloud roadmap,...

Job Title: Senior Verification SpecialistArm's Systems Development team is seeking a creative and enthusiastic SoC Verification Engineer to join their team. The ideal candidate will have knowledge of verifying and testing sophisticated IP such as CPU/GPU/DSP processors with memory controllers and interconnect fabrics.Responsibilities:Writing test plans,...

Principal Engineer / Expert in Formal VerificationWe are seeking a highly skilled Principal Engineer / Expert in Formal Verification to join our research team in Grenoble or Paris, France.Role OverviewAs a Principal Engineer / Expert in Formal Verification, you will be responsible for developing and applying formal verification techniques for chip design and...

Exciting Opportunity for a Principal Engineer / Expert in Formal VerificationWe are seeking two experienced engineers to join our leading research team dedicated to advancing formal verification methods in chip design and system-level verification.Role and Responsibilities:Develop and apply formal verification techniques for chip design and EDA tools, as...

Job OverviewWe are seeking a highly skilled Embedded Security Engineer to join our Engineering team at Trustonic Inc. in Sophia. As a key member of our team, you will be responsible for developing and integrating our Security Solution products with customers' platforms.Key ResponsibilitiesDesign and implement secure embedded software solutions for mobile,...

Cryptonext Security is pioneering the future of cybersecurity with post-quantum cryptography solutions. As a software vendor, our mission is to protect sensitive data from emerging threats posed by quantum computing. We work closely with industry leaders to develop cutting-edge embedded cryptographic products and solutions. If you want to drive technology...

Chip-to-Cloud Product Marketing ManagerWe are seeking a highly skilled Product Marketing Manager to join our team at Secure-IC. As a key member of our Product Management department, you will be responsible for coordinating product roadmap topics and ensuring the competitiveness of our Software Product portfolio.Your primary focus will be on the Chip-to-Cloud...

About the RoleCryptoNext Security is seeking a highly skilled Embedded Software Developer to join our team of experts in developing cutting-edge cryptographic solutions for embedded systems. As a key member of our team, you will be responsible for integrating post-quantum cryptographic solutions into embedded systems used by our clients, including industries...

We are seeking a skilled Rust and TypeScript Developer to join our team at Greenwitch. As a key member of our engineering squad, you will be responsible for designing and developing high-quality back-end software solutions for our finance and accounting-related products. Key Responsibilities: Develop production-grade TypeScript, Rust, and SQL code ...

Role SummaryWe are seeking a highly skilled Senior Formal Verification Specialist to join our research team in Grenoble or Paris, France. The ideal candidate will possess extensive experience in formal verification, particularly in chip design and EDA tools, as well as strong industrial background and proficiency in hardware description languages (HDLs).Key...

Job Title: Embedded Software EngineerLocation: Fully Remote (with focus on France and Poland)Role: Freelance/ContractKey Responsibilities:Design and develop embedded software for connected consumer electronic devices (IoT)Contribute to the entire product development lifecycle, from early design choices with the customer to product software flashing at the...

{"Responsibilities": "Key ResponsibilitiesAs a Senior Engineer on our IP Qualification team, you will be responsible for verifying the RTL design and related EDA models of Third-Party IPs (TPIPs) before they are embedded in our System on Chip (SoC).You will ensure that the methodology used for IP design and modeling aligns with the Arm SoC flow requirement....

Principal Engineer for Verification and ValidationWe are seeking a highly skilled Principal Engineer for Verification and Validation to join our research team in Grenoble or Paris, France. The ideal candidate will possess deep expertise in formal methods applied to chip design and verification, including EDA tools, and system design.Key...

Analog IC Design Engineer for Power Management SolutionsKey Responsibilities:Develop and implement power management blocks such as regulators, bandgap, and DC-DC converters.Collaborate with digital and layout teams to ensure seamless design execution.Perform simulations and drive feasibility and design to meet aggressive schedule and specifications.Provide...

Job Title: Embedded Systems EngineerWe are seeking an enthusiastic intern to join the Field Application Engineering team at Renesas Electronics in our French office. The internship's primary focus will be on implementing and evaluating various motor control algorithms, specifically for Brushless DC (BLDC) motors. You will work with different types of...

Job DescriptionWe are seeking a highly skilled System Software Developer - Security Focus to join our team at Trustonic Inc. As a key member of our security solutions team, you will be responsible for developing and integrating our Security Solution products with customers' platforms. This role requires expertise in embedded software development, debugging,...

Job Description:The INRIA-AIO team is seeking a skilled FPGA engineer to join their team. The successful candidate will be responsible for designing and developing custom logic and synthesis for wireless embedded systems.Main Responsibilities:Design and develop custom logic and synthesis for wireless embedded systemsCollaborate with the RIOT-FP and IoT Lab...