Adacore is the maintainer of GNAT, the Ada compiler based originally based on GCC (there now are multiple backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal p…

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…

We're looking for someone eager to work at the cutting edge of research, helping to develop the next generation of causal and probabilistic programming languages. Get in touch if you're passionate about: - Compilation / program transformations - Pro…

Shaper is developing a revolutionary line of augmented-reality power tools, starting with a handheld CNC router called Origin. We have set out to simplify the process of making, and our software products and services are central to this goal. We’re …

8th Wall develops the world's leading WebAR platform. We run on the cutting-edge of today's modern web, leveraging WebAssembly, WebGL, and cloud edge-compute to enable augmented reality that runs in the mobile browser, no app needed. Company Info: 2…

I’m an entry level developer with skills in Python, Django, C++, Java, HTML, CSS, JavaScript, SQL, and Assembly. I have an Associates of Computer Science from Piedmont Virginia Community College, work towards a Bachelors of Computer Science at James…