-
Adacore
Posted 3 years, 11 months ago
Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…
Locations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Immunant
Posted 3 years, 11 months ago
Do you want to get paid to use Rust? Do you know a thing or two about systems programming, compilers, and operating systems? Do you have a knack for performance tuning and know how to make best use of the available hardware? Immunant is helping its …
-
Looking Glass Factory
Posted 3 years, 11 months ago
We have our own 3D light field display technology and a custom graphics and media software platform. We also manage lots of tooling and plugins for popular 3D rendering engines. Our customers are primarily content creators, artists, and scientific a…
-
Tesla
Posted 3 years, 11 months ago
Tesla is hiring for software positions across a variety of disciplines. If you're interested in helping us transition to sustainable energy production/storage/consumption, we'd love to hear from you! Please apply online at https://www.tesla.com/care…
Roles
Various RolesTech Stack
Linux C++ Go C BMS root-cause analysis testing Linux MCU devices software security lead vehicle communications network CAN bus Embedded real-time integration Python test driven development test graphics manager embedded Rust Linux Go infrastructure QA Linux HIL software SIL audio RTOS passive safety test plans development OTA firmware middleware validation hardwareLocations
Palo Alto, Fremont, Austin, Berlin, Shanghai
-
Psiphon Inc.
Posted 3 years, 11 months ago
Psiphon Inc. is looking for experienced software developers to join our Toronto team. We develop and operate Psiphon, an Internet anti-censorship network that helps millions of people in freedom-restricted countries access uncensored Internet every …
Roles
Senior Software Engineer -
Kolide
Posted 3 years, 11 months ago
Kolide enables organizations to achieve their security and compliance goals by practicing the tenets of honest.security. Instead of locking down devices, Kolide enables teams to communicate their organization’s security recommendations using Slack. …