Compiler and Verification Tools Engineer

Cryspen is a company that build high assurance security-critical software using formal verification. We develop the hax verification toolchain for Rust and apply it to develop cryptographic software used by prominent software companies and projects. We firmly believe that privacy and end-to-end security are the cornerstones of a modern, open society. Our...

This position is posted by Jobgether on behalf of a partner company. We are currently looking for a Principal Verification Engineer in France. As a Principal Verification Engineer, you will lead verification efforts across multiple complex product lines, ensuring designs meet the highest standards of performance and reliability. You will define advanced...

**Advance practical quantum computing through robust, production‑grade software.** We are looking for a Software Engineer (Quantum Platform and Tools) to contribute to the development of core components of our stack—from designing performant transpilation passes and hardware integrations to expanding our cloud‑native SDK and CI/CD...

Senior Hardware Verification Engineer – Semiconductor IP (H/F)We are supporting a leading semiconductor IP company that partners with innovative startups and global technology leaders to develop advanced SoC and chiplet solutions used across automotive, AI, and cloud applications.They are looking for aSenior Hardware Verification Engineerto join a highly...

**Change the face of robotics with us!** Enchanted Tools / Changing the face of robotics At Enchanted Tools, we are bringing a new generation of robots to life. Combining world-class engineering expertise and the power of imagination, we plan to make everyone’s life better with robotic characters. Our robots can glide, grasp and interact with their...

**Change the face of robotics with us.** Enchanted Tools / Changing the face of robotics At Enchanted Tools, we are bringing a new generation of robots to life. Combining world-class engineering expertise and the power of imagination, we plan to make everyone’s life better with robotic characters. Our robots can glide, grasp and interact with their...

**Change the face of robotics with us.** At Enchanted Tools, we are bringing a new generation of robots to life. Combining world-class engineering expertise and the power of imagination, we plan to make everyone’s life better with robotic characters, by tackling concrete issues and needs. Why you should join us: - You will have a unique opportunity to work...

Join the Siri team at Apple Build and contribute to a team and company that is building products, personal devices, and software designed to enrich people's lives. Work on building and advancing the world's most popular intelligent assistant that helps millions of people get things done - just by asking Global Siri works to take Siri to the next level of...

Coders Connect are partnering with SanofiSanofi is a global biopharmaceutical company focused on human health. Through science and technology, they deliver life-changing medicines and vaccines to fight pain, ease suffering, and improve lives. Digital & Data is central to their vision: building leading digital healthcare platforms, accelerating drug...

**Who we are** At Criteo, our culture is as unique as it is diverse. From our offices around the world or from home, our incredible team of 2,700 Criteos collaborates to develop an open and inclusive environment. We aim to create a place where people can grow and learn from each other while having a meaningful impact. We work together to achieve our goals,...