Programming Language & Audio Developer

Dmitri Volkov is finishing a CS master's degree and is seeking opportunities starting late summer or fall. His background is in programming language theory, with a focus on logic/relational programming, and he is interested in functional languages, compilers, automated reasoning, and formal verification. He also has a background in music as a published composer and is particularly interested in audio/music-related roles. He is open to both software engineering and research positions (including PhD/doctoral studies). He has experience with full-stack development, including databases, cloud infrastructure, web APIs, and frontends, and has independently released a commercial music production plugin (Pivotuner).