Flight Software Verification Engineer

Atlanta, GA
Cora – Software
Full-time
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.

Cora began as a dream. A self-piloting air taxi so personal and so simple it could take the trips we make everyday, the ones that define our lives, and bring them to the sky. We’ve been at work on Cora since 2010, tackling some of the biggest challenges in aviation. Today, that dream is one step closer. Join us in making that dream a reality.

This position is based in Atlanta, GA. 

We are currently seeking an engineer to join our software and avionics group, which builds the onboard computing hardware to power CORA. You will work alongside a small group of engineers to develop high-quality, well-tested software, for a variety of novel avionics platforms.

Within 3 months you will:

    • Ask a lot of questions
    • Learn the company software development processes and procedures
    • Be trained in the specific tools we use to develop and verify software
    • Become familiar with the existing code base and requirements
    • Begin contributing to the software development effort
    • Develop a working relationship with other engineers who will share in your success

Within 6 months you will:

    • Begin automatically thinking about ways to verify software from source code review
    • Be able to develop a software verification approach from requirements
    • Analyze requirements and provide valuable feedback to authors
    • Analyze source code and provide valuable feedback to developers

Within 12 months you will:

    • Have gained the experience to solve most problems independently
    • Guide and mentor new developers

Activities:

    • Software Development
    • Requirement Analysis
    • Source Code Analysis
    • Requirements-based Software Verification
    • Test Case and Test Procedure Development
    • Structural and Requirements Coverage Analysis
    • Problem Report Generation, Analysis and Rework

Qualifications:

    • BS in computer science, electrical engineering or equivalent
    • Strong knowledge of the C programming language
    • Ability to write software requirements
    • Experience with unit testing frameworks for mocking endpoints and composing tests
    • Ability to create software unit tests which fully exercise a function
    • Ability to understand, use and modify software in a very large code base
    • Experience with code review and ability to constructively criticize the work product of your peers
    • Embedded systems engineering experience and understanding of computer architecture
    • Experience working with highly-automated software development processes and modern tools (such as, git/BitBucket, JIRA, Bamboo/Jenkins, etc.)


We are headquartered in Mountain View, CA, and have a satellite office in Atlanta, GA. 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), and education assistance. And on top of all that, we also offer a variety of perks such as flight lessons, employee referral bonus, IP bonus program, 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.