> Markdown version of [/jobs/ext/2712787-ada-developer](https://www.wearedevelopers.com/jobs/ext/2712787-ada-developer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # ADA Developer - **Company:** Infinite Computing Systems - **Location:** Richardson, TX, United States - **Contract:** Temporary to permanent - **Skills:** Agile Methodology, Computer Programming, Software Debugging, Ethernet, Python (Programming Language), Software Engineering, Software Verification, DO-178B - **Published:** September 4, 2026 - **Apply:** https://startup.jobs/ada-developer-infinite-computing-systems-8261103 ## About the Role * Experience with structured higher level software programming languages of Ada * Experience with Flight2/CAAS architectures development and defining and writing subsystem requirements. * Software verification experience (i.e. testing/debugging,writing verification cases and procedures, running verification procedures, and investigating issues) * Strong written/oral communication, team building, and analytical skills. * Understanding of Agile Software Development Principles Qualification Required:- * 4 year degree in an applicable STEM field is REQUIRED. Desired experience/skills: * DO-178B/DO-178C or other formal development standards * Python, Ada languages, and VAPS models * ARINC-429, MIL-STD-1553, AFDX/Ethernet * Experience with an APX-123 IFF ## Description * Ada development across the full Software Development Life Cycle (SDLC). * Leading or supporting technical collaboration among systems, hardware, and software design functions. * Accomplish investigation and resolution of technical problems for customers, peer software engineers, and system integrators. * Development, peer review, and release of software and systems related documentation. * A passion to innovate and share knowledge in an agile workplace and utilizing the collaborative ALM tool suite. ## Related Videos - [Agile work at CARIAD – Creating a customer web application for controlling the vehicle ](https://www.wearedevelopers.com/videos/200-agile-work-at-cariad-creating-a-customer-web-application-for-controlling-the-vehicle) - [The Gashlycrumb Tinies of AI Networking You Must Know (or Languish!)](https://www.wearedevelopers.com/videos/2067-the-gashlycrumb-tinies-of-ai-networking-you-must-know-or-languish) - [ShapeShift: Reinventing Agile for a B2B SaaS Scale-Up](https://www.wearedevelopers.com/videos/1655-shapeshift-reinventing-agile-for-a-b2b-saas-scale-up) - [Security Pitfalls for Software Engineers](https://www.wearedevelopers.com/videos/726-security-pitfalls-for-software-engineers) - [More efficient software for more efficient microchips](https://www.wearedevelopers.com/videos/1164-more-efficient-software-for-more-efficient-microchips) - [Docker network without Docker](https://www.wearedevelopers.com/videos/1418-docker-network-without-docker) ## Related Articles - [Dev Digest 162: AI careers, MCP, AWS best practices & floppy sweaters](https://www.wearedevelopers.com/magazine/571-dev-digest-162-ai-careers-mcp-aws-best-practices-floppy-sweaters) - [How software is steering vehicle technology](https://www.wearedevelopers.com/magazine/515-how-software-is-steering-vehicle-technology) - [Dev Digest 132 - Binging WADFlix?](https://www.wearedevelopers.com/magazine/473-dev-digest-132-binging-wadflix) - [Highest Paying Tech Companies for Developers](https://www.wearedevelopers.com/magazine/220-highest-paying-tech-companies-for-developers) - [Why Attend a Developer Event in 2026?](https://www.wearedevelopers.com/magazine/688-why-attend-a-developer-event-in-2026) - [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)