Skip to content
Back to talent search

Candidate profile

Programming Language & Audio Software Engineer

Log in to contact candidates. Create an account to unlock private details and outreach tools.
TypeScript/JavaScript/React Native/ExpoPythonC#C/C++relational/logic programming/symbolic AI(System)Verilog/Vivado/FPGAs/embeddedRocq/formal methods and formal verificationSQLJUCE/audio/music programmingOCaml

Description

Dmitri Volkov is just about done finishing up a CS master's degree, and is looking for opportunities starting in the late summer or fall. Their background is in programming language theory (particularly logic/relational programming), with a strong interest in functional languages, compilers, automated reasoning, and/or formal verification. They also have a background in music (a published composer) and are particularly interested in audio/music-related opportunities. Dmitri is open to both software engineering roles and research positions (including PhD/doctoral studies). They have experience with full-stack work across databases/cloud infrastructure/web APIs/frontends, and have independently released a commercial music production plugin (Pivotuner).