Advanced Software Engineer

Honeywell Aerospace Technologies; Plymouth (MN); On-site; USD 126,000 - 157,000; Full time

Benefits offered by this job

Medical, Dental, Vision, and Life Insurance (employer-subsidized)

401(k) match

Flexible Spending Accounts

Parental Leave

Paid Time Off

Job summary

Honeywell Aerospace Technologies is looking for an Advanced Software Engineer in Plymouth, MN. You will design and develop software solutions critical to aerospace technologies. The role includes collaboration with various engineering teams and a commitment to safety standards.

The ideal candidate has a Bachelor's degree and 5+ years' experience in software assurance. A competitive salary and benefits like medical insurance, 401(k) match, and paid time off are offered.

Qualifications

• 5+ years of experience in formal methods for software assurance.
• Proficiency in programming languages such as C/C++, Java, or Rust.
• Experience developing formal methods tools is a plus.

Responsibilities

• Design, develop, and test advanced software assurance techniques and tools.
• Collaborate with cross-functional teams to deliver integrated solutions.
• Ensure software meets industry safety and performance standards.

Skills

C/C++

Java

Rust

Formal methods

Analytical skills

Problem-solving skills

Education

Bachelor’s degree in Computer Science, Software Engineering, or a closely related field

Graduate degree (Masters or Doctorate)

Tools

Automated theorem provers

Automated model checkers

Model-based design and simulation tools

Job description

Job 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 will 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. In this role you will impact the advancement of aerospace software systems that are critical to Honeywell’s mission of delivering high‑quality, innovative aerospace products and solutions to customers worldwide.

Key Responsibilities

• 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.

Qualifications

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

Desired Qualifications

• Graduate degree (Masters or Doctorate) in Computer Science, Software Engineering, Computer Engineering, or a 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. This compensation information is a general guideline; Honeywell considers factors such as scope of responsibilities, candidate experience, education, key skills, and market conditions when extending an offer.

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

Benefits

• Medical, Dental, Vision, and Life Insurance (employer‑subsidized)
• Short‑Term and Long‑Term Disability
• 401(k) match
• Flexible Spending Accounts and Health Savings Accounts
• EAP and Educational Assistance
• Parental Leave and Paid Time Off for vacation, personal business, sick time, and parental leave
• 12 Paid Holidays