--- title: The birth of the Software Verification Engineer | daily.dev description: An emerging engineering role, the Software Verification Engineer, is proposed as the answer to a future where AI agents write all code and tests. Rather than... canonical: https://daily.dev/posts/klerkv7ui twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: The birth of the Software Verification Engineer | daily.dev og:description: An emerging engineering role, the Software Verification Engineer, is proposed as the answer to a future where AI agents write all code and tests. Rather than... og:url: https://daily.dev/posts/klerkv7ui og:image: https://api.daily.dev/og/posts/KLErkv7uI.png og:image:alt: Post cover image og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # The birth of the Software Verification Engineer **[Leonid Bugaev](https://daily.dev/sources/uqfpqbodd9zyqvagaimem)** · [@leonidbugaev](https://daily.dev/leonidbugaev) · 82 upvotes · 10 comments ## Summary An emerging engineering role, the Software Verification Engineer, is proposed as the answer to a future where AI agents write all code and tests. Rather than reviewing line-by-line diffs, humans would review intent, impact, evidence, and unresolved issues, while engineers build the harnesses, environments, acceptance rules, and evidence formats that make agent-produced changes trustworthy. The piece argues code review as the primary acceptance mechanism is dying, that a good QA agent alone isn't sufficient without supporting infrastructure, that rules and guardrails must be executable rather than prompt-based, and that agents should be able to identify and close their own evidence gaps rather than relying on humans to spot missing tests one comment at a time. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Community discussion Top comments from developers on daily.dev. **@ristotoldsep** · 2 upvotes > The evidence part is the real job now. Generating code was the easy bit. **@karimtn** · 1 upvotes > Job positions is changing like crazy ! **@edgarmilvus** · 0 upvotes > How reqproof works? **@edgarmilvus** · 0 upvotes > What about StrictDoc + Tracey ? **@bk2022** · 0 upvotes > We solved one thing with AI coding and opened a can of worms in another. ## Similar posts on daily.dev - [Shipping code without human verification](https://daily.dev/posts/shipping-code-without-human-verification-y63ke0iub) · The New Stack · 1 upvotes · 0 comments - [Software Engineering Is Moving One Level Higher](https://daily.dev/posts/software-engineering-is-moving-one-level-higher-s9slwspwu) · Medium · 0 upvotes · 0 comments - [Traditional Code Review Is Dead. What Comes Next?](https://daily.dev/posts/traditional-code-review-is-dead-what-comes-next--1lxfdifyi) · The New Stack · 0 upvotes · 0 comments - [The Part of Software Engineering AI Cannot Replace](https://daily.dev/posts/the-part-of-software-engineering-ai-cannot-replace-m2wi0ziiw) · Auth0 · 3 upvotes · 0 comments --- Tags: [#ai-agents](https://daily.dev/tags/ai-agents), [#testing](https://daily.dev/tags/testing), [#cicd](https://daily.dev/tags/cicd), [#code-review](https://daily.dev/tags/code-review), [#vibe-coding](https://daily.dev/tags/vibe-coding) [View this post on daily.dev](https://daily.dev/posts/klerkv7ui) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"DiscussionForumPosting","mainEntityOfPage":"https://daily.dev/posts/klerkv7ui","headline":"The birth of the Software Verification Engineer","text":"Shared: The birth of the Software Verification Engineer","url":"https://daily.dev/posts/klerkv7ui","datePublished":"2026-09-30T14:29:14.396Z","dateModified":"2026-10-01T17:25:35.091Z","author":{"@type":"Person","name":"Leonid Bugaev","url":"https://daily.dev/leonidbugaev","image":"https://lh3.googleusercontent.com/a/ACg8ocLhMgurwTmJElWaH9A8Ju8cHvZxgMCDt009jEYkmFCyUGAoaGSw=s96-c","description":"Head of Engineering at Tyk.io. Building reqproof.com and probelabs.com.","worksFor":{"@type":"Organization","name":"Tyk","logo":"https://media.daily.dev/image/upload/s--b24KmLW_--/f_auto/v1736353882/companies/tyk"},"interactionStatistic":{"@type":"InteractionCounter","interactionType":{"@type":"EndorseAction"},"userInteractionCount":2590}},"image":"https://media.daily.dev/image/upload/s--HRgLpUt6--/f_auto/v1722860399/public/Placeholder%2003","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":81},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":10}],"sharedContent":{"@type":"WebPage","url":"https://api.daily.dev/r/SpkZcb8IT"},"comment":[{"@type":"Comment","text":"The evidence part is the real job now. Generating code was the easy bit.","datePublished":"2026-10-01T11:38:05.608Z","url":"https://daily.dev/posts/KLErkv7uI#c-NI72QscFV","author":{"@type":"Person","name":"Risto Tõldsep","url":"https://daily.dev/ristotoldsep","image":"https://lh3.googleusercontent.com/a/ACg8ocLDWc6mZn0JwNmXXw6WY0L_HJ6pegzRttooC5VgtXESHSj3MNYx=s96-c"},"interactionStatistic":{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":2}},{"@type":"Comment","text":"Job positions is changing like crazy !","datePublished":"2026-10-02T14:47:36.809Z","url":"https://daily.dev/posts/KLErkv7uI#c-7D80dQg4G","author":{"@type":"Person","name":"Med Karim BCHINI","url":"https://daily.dev/karimtn","image":"https://avatars.githubusercontent.com/u/175514?v=4"},"interactionStatistic":{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":1}},{"@type":"Comment","text":"How reqproof works?","datePublished":"2026-10-01T07:18:44.016Z","url":"https://daily.dev/posts/KLErkv7uI#c-k0dLDgRk5","author":{"@type":"Person","name":"Edgar Milvus","url":"https://daily.dev/edgarmilvus","image":"https://lh3.googleusercontent.com/a/ACg8ocLl_s0HGoWZAp3MAzO53lGuuWTpfxWtkg2OBgZtiJStfGzoqg=s96-c"}},{"@type":"Comment","text":"What about StrictDoc + Tracey ?","datePublished":"2026-10-02T14:45:59.158Z","url":"https://daily.dev/posts/KLErkv7uI#c-zm9f2dOWd","author":{"@type":"Person","name":"Edgar Milvus","url":"https://daily.dev/edgarmilvus","image":"https://lh3.googleusercontent.com/a/ACg8ocLl_s0HGoWZAp3MAzO53lGuuWTpfxWtkg2OBgZtiJStfGzoqg=s96-c"}},{"@type":"Comment","text":"We solved one thing with AI coding and opened a can of worms in another.","datePublished":"2026-10-03T17:29:27.661Z","url":"https://daily.dev/posts/KLErkv7uI#c-YTYuFKlHy","author":{"@type":"Person","name":"Bk Lau","url":"https://daily.dev/bk2022","image":"https://lh3.googleusercontent.com/a/ALm5wu29coOUAnGR3UD2ZxJnTWuHJqIX51F8bz73jxpCQg=s96-c"}}],"isPartOf":{"@type":"WebPage","url":"https://daily.dev/sources/uqfpqbodd9zyqvagaimem","name":"Leonid Bugaev"}} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Leonid Bugaev","item":"https://daily.dev/sources/uqfpqbodd9zyqvagaimem"},{"@type":"ListItem","position":3,"name":"The birth of the Software Verification Engineer"}]} ```