Haskell Software Engineer

Palo Alto, CA
Heaviside – Engineering
Full-time
Project Heaviside is Kitty Hawk’s latest high-performance electric VTOL vehicle. It is designed to be fast, small and exceedingly quiet, taking advantage of new possibilities to free people from traffic.

Here at Kitty Hawk, where a century of aviation practices meets technology breakthroughs and a world-class engineering team, things are looking up. In 1903, the Wright brothers took flight for the first time from the beaches of Kitty Hawk, North Carolina. Our journey started by designing, testing and building all-electric vertical take-off and landing products for work and play. Today, in California, we are building on the Wright Brothers’ legacy to create the next generation of vehicles for everyday flight.

Kitty Hawk’s R&D team is currently flight-testing a variety of aircraft with autopilots written in Haskell and code-generated to C. Our simulation environment, ground station, and optimization code are written in Haskell, and all components are either currently open source or will be released once they stabilize.

We are looking for a software-engineering focused person with experience or interest in simulation of dynamic systems, control systems, robotics, aerospace, or estimation. Your initial responsibility will be helping to maintain and expand the simulation and control environment. We are a small team which designs/builds/tests/flies in rapid iteration, so you’ll be energetic, adaptable, independent, and a fast learner who can make sound engineering judgements with limited information.

Required:

    • 2 years of professional Haskell development experience
    • Working knowledge of modern Haskell programming paradigms (e.g. property-based testing, Generics, ReaderT / capabilities, etc)
    • Experience with common libraries (e.g. lens) and GHC extensions (e.g. RankNTypes, TemplateHaskell)
    • Experience with a modern Linux-based programming environment (e.g. git, bash)
    • Experience with C, C++, and Python
    • Excited about things that fly

The ideal candidate will be familiar with many, and proficient in some of the following, in no particular order:

    • GUI programming
    • Build systems (e.g. Bazel)
    • Test frameworks (e.g. Hedgehog)
    • Automatic control and estimation
    • Simulation of dynamic systems
    • Real time systems
    • Robotics/aerospace
How to apply:

Send your resume to greg@kittyhawk.aero. Along with your resume - github projects, stackoverflow answers, etc are welcome. You should be able to describe your contributions to previous personal, academic, open source and/or professional projects that you are most proud of.

Please include a list of your favorite GHC extensions, and any upcoming language features you are excited about.

We are located in Palo Alto and Hollister, with great access to nice outdoor spaces as well as to airports at both locations. We offer a comprehensive benefits package including medical, dental, vision and life insurance (company pays 100% of employee premium), unlimited PTO days, 10 company holidays, a 401(k) plan with 50% company matching (no vesting period), commuter assistance, and education assistance. And on top of all that, we also offer a variety of perks such as free catered lunches and snacks, flight lessons, happy hours and many more.

Kitty Hawk provides equal employment opportunities (EEO) to all employees and applicants for employment without regard to race, color, religion, sex, national origin, age, disability or genetics. In addition to federal law requirements, Kitty Hawk abides by applicable state and local laws governing nondiscrimination in employment in every location in which the company has facilities. This policy applies to all terms and conditions of employment, including recruiting, hiring, placement, promotion, termination, layoff, recall, transfer, leaves of absence, compensation and training.

Kitty Hawk is an E-Verify employer.