At SEMC we love using open source methods and research ideas to improve software quality and reliability in space 🌌. We are big on composable software: functional, typed, immutable. As part of the Nexus Aurora team, we develop a variety of software, from systems-level robotics to high-level configuration languages.

We’re open to contributors, so if you want to shape the future of the software industry by working with innovative teammates, join us!

Current projects:

Salo

Salo is a declarative, reproducible, statically-typed configuration language for building and deploying operating system images.

Europa

Europa is a library for the F-prime framework, providing common flight software components for mission development.