The software team at K2 is building our stack primarily in Rust because we believe modern programming languages should be fun, as well as correct. We see Rust as a key enabling technology that allows us to be more effective as software engineers across the entire stack whether that is contributing to the GNC algorithms, application software on flight computers, embedded software on microcontrollers, and many things in-between. As a part of the team, you will be responsible for the development and verification of the software used to fly some of the largest spacecraft that have ever been flown. You will be able to write mission-critical code that controls propulsion systems, attitude control systems, and power systems to ensure safe and reliable operation of the vehicle. In your first 6 months you will develop core pieces of the software architecture including the strategies for fault tolerance, real-time control, and telemetry downlink. In your first year you will implement larger software systems and begin verifying your code using both software and hardware in the loop simulators. In your first two years you will operate your code on multiple spacecraft, demonstrating robust performance in demanding missions.