As AI automates more day-to-day coding, the critical skill for engineers is becoming 'systems thinking'—understanding the entire workflow and how components interact. This was once a senior-level trait but is now essential for everyone in engineering.

Verifying complex systems is bottlenecked by the human inability to specify all requirements. The future of software development is an interactive process where AI helps propose specifications (e.g., via test generation) and then uses a prover to formally verify them.

With AI handling a large percentage of code generation, the core work of an engineer is evolving. The job now involves spending more time planning what code to generate and carefully reviewing the AI's output, a significant shift from the traditional focus on manually writing code.

As AI agents handle the mechanics of code generation, the primary role of a developer is elevated. The new bottlenecks are not typing speed or syntax, but higher-level cognitive tasks: deciding what to build, designing system architecture, and curating the AI's work.

Generative AI is making the task of writing syntactically correct code obsolete. The core value of a software engineer is shifting away from implementation details and towards the higher-level "thinking" tasks: understanding user needs and designing robust systems.

AI excels at generating code, making that task a commodity. The new high-value work for engineers is "verification”—ensuring the AI's output is not just bug-free, but also valuable to customers, aligned with business goals, and strategically sound.

The craft of software engineering is evolving away from precise code editing. Much like compilers abstracted away assembly language, modern AI coding tools are a new abstraction layer, turning engineers into directors who guide AI to write and edit code on their behalf.

The role of a software engineer is evolving. Instead of manually writing all code, they are increasingly becoming managers of specialized AI agents that write, test, refactor, and deploy code. This moves their focus to a higher level of system design and orchestration.

As AI automates the 'write code' step, the primary role for human engineers shifts downstream. They will be increasingly responsible for testing and manual verification—tasks historically disliked by developers and previously handled by dedicated QA teams.