We are a small, fast moving R&D group in Kitty Hawk https://kittyhawk.aero/ writing autopilots in Haskell and code-generating to C. The ground station and simulation environment are written almost entirely in Haskell, and are mostly open-source. We are currently flight testing a few different novel vehicles. We're looking for an experienced software engineer familiar with simulation and control of dynamic systems, real-time systems, robotics, or similar. The role is initially to support and expand the existing simulation and control infrastructure, but will be flexible based on your interests and expertise. If this is interesting to you, please see the full description at: https://jobs.lever.co/kittyhawk.aero/89a6630b-4210-4a4a-89d8-936d458f6c8a?le... Best regards, Greg