> Markdown version of [/jobs/ext/1346549-advanced-software-engineer](https://www.wearedevelopers.com/jobs/ext/1346549-advanced-software-engineer). 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).

---

# Advanced Software Engineer

- **Company:** Honeywell International Inc.
- **Location:** Plymouth, MN, United States
- **Experience:** Expert
- **Salary:** $126,000.0 - $157,000.0
- **Contract:** Permanent contract
- **Skills:** Java (Programming Language), Software Applications, Systems Engineering, C++ (Programming Language), Computer Engineering, Software Engineering, Model-Driven Development, Safety Critical Systems, Information Technology, Formal Methods
- **Published:** July 19, 2026
- **Apply:** https://www.disabledperson.com/jobs/73746781-advanced-software-engineer

## About the Role

* Bachelor's degree in Computer Science, Software Engineering, Computer Engineering, or closely related field
 * 5 + years experience, either through employment or academic research, in formal methods for software assurance
 * Proficiency in programming languages such as C/C++, Java, or Rust

WE VALUE

 * Graduate degree (Masters or Doctorate) in Computer Science, Software Engineering, Computer Engineering, or closely related field
 * Experience developing or implementing formal methods tools such as automated theorem provers or automated model checkers.
 * Experience working on safety-critical software applications such as aerospace or medical devices.
 * Knowledge of model-based design and simulation tools.
 * Strong analytical and problem-solving skills with a passion for innovation.

The annual range for this position is $126,000 - $157,000. Please note that this compensation information serves as a general guideline. Honeywell considers various factors when extending an offer, including but not limited to the scope and responsibilities of the position, the candidate's work experience, education and training, key skills, as well as market and business considerations.

Due to compliance with U.S. export control laws and regulations, candidate must be a U.S. Person, which is defined as, a U.S. citizen, a U.S. permanent resident, or have protected status in the U.S. under asylum or refugee status or have the ability to obtain an export authorization.

## Description

As an Advanced Software Engineer here at Honeywell, you will contribute to the design, development, and implementation of cutting-edge software solutions that support aerospace technologies and innovations. You will work on complex software projects that enhance the performance, safety, and reliability of aerospace systems., You will report directly to our Senior R&D Manager, and you'll work out of our Plymouth, MN location on a Hybrid work schedule. External hires will begin with 90 days on site before transitioning to a 3/2 hybrid schedule., * Design, develop, and test advanced software assurance techniques and tools for safety-critical systems.

 * Collaborate with cross-functional teams including systems engineers, software application developers, and verification/validation engineers to deliver integrated solutions.
 * Ensure software meets safety, quality, and performance standards specific to aerospace and defense industry requirements.


## Related Videos

- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [Your next 10x engineer isn't in your city. Refactor accordingly.](https://www.wearedevelopers.com/videos/100103-your-next-10x-engineer-isn-t-in-your-city-refactor-accordingly)
- [Swapping a Data Warehouse at Runtime: Zero-Downtime Migration Without Changing a Single Client](https://www.wearedevelopers.com/videos/100311-swapping-a-data-warehouse-at-runtime-zero-downtime-migration-without-changing-a-single-client)
- [Model Based Systems Engineering in an Agile Product Development Process](https://www.wearedevelopers.com/videos/68-model-based-systems-engineering-in-an-agile-product-development-process)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)
- [More efficient software for more efficient microchips](https://www.wearedevelopers.com/videos/1164-more-efficient-software-for-more-efficient-microchips)

## Related Articles

- [How Much Does a Software Engineer Make? Realistic Software Engineering Salaries](https://www.wearedevelopers.com/magazine/425-how-much-does-a-software-engineer-make-realistic-software-engineering-salaries)
- [Best Countries for Software Engineers](https://www.wearedevelopers.com/magazine/267-best-countries-for-software-engineers)
- [Software Engineer Career: Things You Should Know](https://www.wearedevelopers.com/magazine/143-software-engineer-career-things-you-should-know)
- [Are Software Engineer Wages Being Pushed Down? A Report on Tech Salaries](https://www.wearedevelopers.com/magazine/417-are-software-engineer-wages-being-pushed-down-a-report-on-tech-salaries)
- [Highest Paying Tech Companies for Developers](https://www.wearedevelopers.com/magazine/220-highest-paying-tech-companies-for-developers)
- [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers)