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

---

# Staff Software Engineer - Backend / Python

- **Company:** Strativ Group
- **Location:** United States (Remote available)
- **Experience:** Expert
- **Contract:** Permanent contract
- **Skills:** Artificial Intelligence, Systems Engineering, Static Program Analysis, Compilers, Distributed Systems, Python (Programming Language), Software Engineering, Backend, Formal Methods
- **Published:** July 28, 2026
- **Apply:** https://arc.dev/remote-jobs/j/redirect/p82k5paahu

## About the Role

* 7+ years in Backend Engineering with deep Python expertise
 * Strong distributed systems design experience
 * Background in compilers, static analysis, or language tooling (desirable)
 * Experience in Defense (desirable)
 * Exposure to formal methods or verification (a plus)
 * Proven technical leadership

This is an opportunity to define the backbone of next-generation AI coding agents inside a well-funded, research-driven company operating at the cutting edge of AI and systems engineering. You'll be working on problems that sit at the genuine frontier of what's possible with autonomous software engineering, with the resources, funding, and technical caliber of team needed to tackle them properly. If you're looking for a role where your architectural decisions will shape a category-defining product, this is it. Please apply ASAP for consideration.



## Related Videos

- [The AI-Native Engineering Org: What’s Real, What’s Hype, What’s Next](https://www.wearedevelopers.com/videos/100004-the-ai-native-engineering-org-what-s-real-what-s-hype-what-s-next)
- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [Just-in-time Compilation in JVM](https://www.wearedevelopers.com/videos/240-just-in-time-compilation-in-jvm)
- [Developing the Backend with Stefan Lingler, CTO at Shpock](https://www.wearedevelopers.com/videos/100360-developing-the-backend-with-stefan-lingler-cto-at-shpock)
- [The Software Engineer 2030: From Coder To AI Orchestrator? - Patrick Schnell](https://www.wearedevelopers.com/videos/1825-the-software-engineer-2030-from-coder-to-ai-orchestrator-patrick-schnell)
- [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

- [How to Become an AI Engineer](https://www.wearedevelopers.com/magazine/331-how-to-become-an-ai-engineer)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [What is Agentic Programming and Why Should Developers Care?](https://www.wearedevelopers.com/magazine/625-what-is-agentic-programming-and-why-should-developers-care)
- [Navigating the AI Shift](https://www.wearedevelopers.com/magazine/629-navigating-the-ai-shift)
- [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs)
- [Dev Digest 137 - AI'm not sure about this](https://www.wearedevelopers.com/magazine/485-dev-digest-137-ai-m-not-sure-about-this)