Formal is a VC-funded 5-person team building a new serverless computing stack using formal methods to create low-overhead OS interfaces and formally verified isolation without containers or VMs. They are hiring multiple remote, full-time positions f…

I'm a principal lead on Akamai's Linux Performance Team, and we're actively hiring talented engineers to join our team! We're a specialized group of software engineers who tackle complex performance challenges across Akamai's entire product stack. W…

Grafana, we make Grafana (visualisation), Loki (for logs), Mimir (for metrics), Tempo (for traces), Pyroscope (for profiles), OnCall, Application Observability and a lot more. Most of our work is open source as AGPL or Apache2. Most work is Go, Java…

Solo is an application networking company working with open source, cloud native technologies. If you are passionate about technologies like containers, Kubernetes/k8s, Istio service mesh, Envoy proxy, GraphQL, Cilium, eBPF, WASM (server side), serv…

Solo is an application networking company working with open source, cloud native technologies. If you are passionate about technologies like containers, Kubernetes/k8s, Istio service mesh, Envoy Proxy, GraphQL, Cilium, eBPF, WASM (server side), serv…

Solo is an application networking company working with open source, cloud native technologies. If you are passionate about technologies like containers, Kubernetes/k8s, Istio service mesh, Envoy Proxy, GraphQL, eBPF, WASM (server side), serverless f…