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

---

# Cyber Ark Engineer

- **Company:** Agelix Consulting
- **Location:** Washington, DC, United States (Remote available)
- **Experience:** Experienced
- **Salary:** $100,000.0 - $245,000.0
- **Contract:** Permanent contract
- **Skills:** Application Integration Architecture, Formal Verification, Identity and Access Management, Cyberark, Sentry, Formal Methods
- **Published:** June 11, 2026
- **Apply:** https://www.careerjet.com/jobad/us1fe7bb2d98d8b242ca96aaf090b09c15

## About the Role

* Five (5) years of overall professional experience in the engineering field.
 * Three (3) years of relevant experience with identity access management components (users, group, and policies)
 * Three (3) years of CyberArk installation, operation and maintenance, and application integration experience.
 * DoD Approved 8570 Baseline Certification: Category IAT Level II

Desired Skills & Certifications

 * CyberArk Certification (Trustee, Defender, Sentry, or Guardian), Description Do you have experience conducting formal verification with formal methods for system and software assurance? Are you passionate about making meaningful contribution…



## Related Videos

- [From Doubt to Confidence: How Sentry Uses Verdaccio to Bulletproof SDK Releases](https://www.wearedevelopers.com/videos/739-from-doubt-to-confidence-how-sentry-uses-verdaccio-to-bulletproof-sdk-releases)
- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [Cyber Sleuth: Finding Hidden Connections in Cyber Data](https://www.wearedevelopers.com/videos/893-cyber-sleuth-finding-hidden-connections-in-cyber-data)
- [Debugging in the Dark](https://www.wearedevelopers.com/videos/1658-debugging-in-the-dark)
- [Security Pitfalls for Software Engineers](https://www.wearedevelopers.com/videos/726-security-pitfalls-for-software-engineers)
- [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)

## Related Articles

- [9 Ways to Make Money Hacking](https://www.wearedevelopers.com/magazine/333-9-ways-to-make-money-hacking)
- [Events like RSAC Get You CISOs. Developers Decide What Actually Gets Deployed.](https://www.wearedevelopers.com/magazine/693-events-like-rsac-get-you-cisos-developers-decide-what-actually-gets-deployed)
- [What Are The Top Skills Required For Azure Developers?](https://www.wearedevelopers.com/magazine/77-what-are-the-top-skills-required-for-azure-developers)
- [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs)
- [How We Built a Worry-Free System That Runs for 10+ Years – And What We’d Do Again](https://www.wearedevelopers.com/magazine/751-how-we-built-a-worry-free-system-that-runs-for-10-years-and-what-we-d-do-again)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)