Established company (20+ years) looking for mature generalists to contribute remotely. You can be anywhere in the world so long as you: Are self-motivated and can work independently, Have experience with many languages but can be effective in any la…

Adacore is the maintainer of GNAT, the Ada compiler based on GCC. We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). We are looking for a lot of different profiles: senio…

We develop TimescaleDB (the open-source relational database for time-series data), Timescale Cloud, and associated observability products (eg long-term storage for Prometheus data). Built on PostgreSQL, TimescaleDB offers developers the reliability,…

Red Hat is hiring a good C programmer to work on virt-v2v, converting VMware virtual machines to run on KVM, packaging it for RHEL, and handling customer bugs and features.

Ever wanted to reverse engineer, analyze, write countermeasures to, or even design and build malware? The 90 COS is a software development unit which specializes in offensive and defensive capability development in support of USCYBERCOMMAND and spec…

Do you believe in sovereignty, privacy, and freedom? Do you want to help Bitcoin and the decentralized Internet achieve widespread adoption? At Foundation Devices, we are building the open hardware foundation for Bitcoin and the decentralized Intern…