-
Adacore
Posted 3 years, 4 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 3 years, 4 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 3 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 3 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 3 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…
-
Zivid
Posted 3 years, 7 months ago
Zivid designs and sells award-winning 3D vision cameras to the international robotics market. Each Zivid camera undergoes an extensive calibration and production test process to ensure the camera matches the expected accuracy and precision. The Prod…