-
Aurora Innovation
Posted 5 years, 7 months ago
If you're passionate about self-driving, Aurora is hiring! We have openings for engineers at all levels for all of our teams. Founded in 2017 by the leading experts in self-driving, Aurora is committed to delivering the benefits of self-driving tech…
Locations
SF, Palo Alto, Pittsburgh, Bozeman
-
balena
Posted 6 years, 1 month ago
Our mission is to help fleet owners succeed in the tough world of the Internet of Things! We make software (balenaCloud and its open-source variant openBalena, Etcher - maybe the most popular SD card / USB stick flasher tool, balenaOS - a containers…
Roles
Open Call (anything you are interested in!) Frontend Engineer Hardware Engineer Build Pipeline Engineer Hardware Hacker in Residence Internal Tooling Backend Engineer Technical Sales Lead / Sales Engineer (Europe) Site Reliability Engineer Backend Engineer Documentation Engineer Internal Tooling Frontend Engineer Senior Full-stack Software Engineer Seattle Office Manager / Team Coordinator Content Strategist Technical Sales Lead / Sales Engineer (United States)Locations
Remote
-
Epirus Systems
Posted 6 years, 3 months ago
Do you love to build software but miss having an impact on the physical world? We’re hiring for ML and general software engineering to do just that! Come join us to build world-changing tech and play with some cool drones.
-
Forward
Posted 6 years, 4 months ago
We’re on a mission to become the first healthcare system to serve a billion people. A mission to make care accessible to those most in need by building technology that scales. If you wake up in the morning with the same drive to do something bigger …
Locations
San Francisco, CA
-
Galois
Posted 6 years, 4 months ago
Galois is looking for software and hardware engineers, researchers, technical project leads, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and A…
Tech Stack
reinforcement learning Formal methods domain specific languages DDoS defense autonomous systems assurance statistical anomaly detection provable hardware security communication security cyber-deception software correctness binary analysis abstract interpretation static analysis programming languages theory formal verification type theory cryptographic algorithmsLocations
Portland, OR, Arlington, VA, Dayton, OH
-
Galois
Posted 6 years, 6 months ago
Galois is looking for software and hardware engineers, researchers, technical project leads, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and A…
Tech Stack
reinforcement learning Formal methods domain specific languages DDoS defense autonomous systems assurance statistical anomaly detection provable hardware security communication security cyber-deception software correctness binary analysis abstract interpretation static analysis programming languages theory formal verification type theory cryptographic algorithmsLocations
Portland, OR, Arlington, VA, Dayton, OH