Remote Formal Verification Engineer Jobs in Kansas

About the Role

Do you love scripting, dissecting installers, and building automation at scale? We are looking for a Software Packaging Engineer with deep IT and/or Managed Service Provider (MSP) experience to build high‑quality third‑party software packages for our automated patching platform. You will research vendor applications, analyze installers, and build package metadata that powers our RMM’s third‑party patching engine. Your work will directly influence the reliability and security of thousands of organizations around the world. You will join our Software Engineering team, working alongside other Software Product Engineers.  Collaborating with our Product Managers, Software Development Engineers, and our Support Engineers, you will work with like-minded individuals to deliver exceptional, production‑ready automation content for NinjaOne clients. 

Location - We are flexible on remote working from home, if you are located in the USA and reside in one of the following states - CA, CO, CT, FL, GA, *IL, KS, MA, MD, ME, NJ, NC, NY, OR, TN, TX, VA, and WA. We have physical offices in Austin, TX and Tampa, FL, if you prefer a hybrid option.

We hire the best software engineers, but experience in our stack can’t hurt: NinjaOne is built on Java, Kotlin, C++, Golang and Postgres; supporting millions of user endpoints and running as a scalable cloud service in AWS.  Knowing large-scale datastore bottlenecks, asynchronous application design and client-server architecture will help you.

What You’ll be Doing 

• Third‑Party Patch Packaging & Content Development 

• Build high‑quality software packages for our patching platform, including installer metadata, detection logic, and automation scripts. 

• Analyze vendor installers (MSI, EXE, custom frameworks) to determine silent install parameters, upgrade behavior, and OS compatibility. 

• Automatically detect new software versions from vendor websites. 

• Develop endpoint‑side scripts to download, install, upgrade, and verify third‑party applications. 

• Strategic Research & Standards Development 

• Research vendor release patterns, installer technologies, and best practices for secure and reliable patching. 

• Define and maintain packaging standards that improve consistency, reliability, and security across all supported applications. 

• Continuously enhance our package catalog to reflect evolving IT and security requirements. 

• Frontline Automation & Rapid Response 

• Build one‑off or urgent automation scripts in response to emerging vulnerabilities, vendor changes, or customer needs. 

• Troubleshoot packaging issues, installer failures, and automation edge cases. 

• Partner with Support and Engineering teams to resolve customer‑impacting issues quickly and effectively. 

• Other duties as needed 

 About You

• 3+ years of experience installing, maintaining, configuring, and automating software on Windows, Mac, and Linux. 

• 3+ years of experience scripting in PowerShell (Bash or Python a plus). 

• Strong understanding of installer technologies (MSI, InstallShield, NSIS, Inno Setup, custom EXEs). 

• Experience with software packaging for RMM, SCCM, Intune, or similar endpoint management platforms. 

• Ability to break down complex installer behavior and build reliable silent install/upgrade workflows. 

• Familiarity with secure configuration baselines and the challenges IT teams face in maintaining them. 

• Experience with source control and interacting with REST APIs. 

• A passion for problem‑solving and building automation that scales. 

About Us 

NinjaOne unifies IT to simplify work for more than 35,000 customers in 140+ countries. The NinjaOne Unified IT Operations Platform delivers endpoint management, autonomous patching, backup, and remote access in a single console to improve efficiency, increase resilience, and reduce spend. By automating IT and managing all endpoints, organizations give employees a great technology experience at work. NinjaOne is obsessed with customer success and has retained a 98% customer satisfaction score for more than 5 years.  

What You’ll Love 

We are a collaborative, kind, and curious community. 

We honor your flexibility needs with full-time work that is hybrid remote.

We have you covered with our comprehensive benefits package, which includes medical, dental, and vision insurance.

We help you prepare for your financial future with our 401(k) plan.

We prioritize your work-life balance with our unlimited PTO.

We reward your work with opportunity for growth and advancement.

Additional Information

This position is NOT eligible for Visa sponsorship.  

*Due to operational policies, NinjaOne is unable to hire for this role within the city limits of Chicago. We will consider all qualified candidates who reside outside of the city proper or are willing to self-relocate.

Starting pay for the successful applicant depends on a variety of job-related factors, including but not limited to location, market demands, experience, job-related knowledge, and skills. The benefits available for this position include medical, dental, vision, 401(k) plan, life insurance coverage and PTO. For roles based in California, Colorado, Maryland, New Jersey, or Washington the base salary hiring range for this position is $120,000 to $150,000 per year.

For roles based in New York, the base salary hiring range for this position is $120,000 to $150,000 per year.

All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability, genetic information, marital status, veteran status, or any other status protected by applicable law. We are committed to providing an inclusive and diverse work environment.

#LI-JL1

#LI-Remote

#BI-Remote