-
Adacore
Posted 2 years, 4 months ago
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling). Evertything…
Locations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Zivid
Posted 2 years, 5 months ago
We are looking for new colleagues to join us at Zivid, one of Norway's most ambitious new technology companies! We have developed the world's most accurate real-time 3D cameras for robotics and industrial applications. Our cameras provide robots and…
Locations
Oslo, Norway
-
Adacore
Posted 2 years, 5 months ago
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM). We build a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everythi…
Locations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Qualcomm
Posted 2 years, 5 months ago
My team is looking to hire 2 software developers to help us design and extend QEMU support for the Hexagon DSP. We're looking for candidates who have experience coding in C, C++ or Rust and who aren't afraid of rolling up their sleeves and poring ov…
-
Qualcomm
Posted 2 years, 6 months ago
My team is looking to hire 2 software developers to help us design and extend QEMU support for the Hexagon DSP. We're looking for candidates who have experience coding in C, C++ or Rust and who aren't afraid of rolling up their sleeves and poring ov…
-
Qualcomm
Posted 2 years, 7 months ago
My team is looking to hire 2 software developers to help us design and extend QEMU support for the Hexagon DSP. We're looking for candidates who have experience coding in C, C++ or Rust and who aren't afraid of rolling up their sleeves and poring ov…