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…

Roblox is ushering in the next generation of entertainment, allowing people to imagine, create, and play together in immersive, user-generated worlds. We are recruiting across multiple teams and positions. We are actively hiring and all interviews a…

Are you an Engineer who loves the outdoors? Join onX! onX is a suite of digital navigation apps (Hunt, Offroad, and Backcountry) that empower millions of outdoor enthusiasts. If you’re passionate about writing great software, love playing outside, b…

We just secured $30 million in Series B funding led by Tiger Global and Threshold Ventures, Fika Ventures, Fathom Capital, Toyota AI Ventures, and Idealab. With this new capital we plan to expand our engineering, sales and support teams to service a…

QuestDB (YC S20) is an open source time series database. Find more about us here: https://questdb.io/about-us/ We're hiring Developer Relation Engineers, Python Backend Developers, Core Database Engineers (zero-GC Java, C++) and Customer Success Eng…

Over a near decade we’ve built some of the greatest technology in mobility. Now it’s available to everyone via our B2B offering.