Location: US, New York City area

Remote: Yes, also open to on-site

Willing to relocate: Yes

Technologies: C/C++, Python, TypeScript/JavaScript/React Native/Expo, C#, (System)Verilog/Vivado/FPGAs/embedded, OCaml, Rocq/formal methods and formal verification, relational/logic programming/symbolic AI, SQL, JUCE/audio/music programming.

Resume/CV: https://www.dmitrivolkov.com/volkov-resume.pdf

Email: dmitri@dmitrivolkov.com

Website: https://www.dmitrivolkov.com/

Finishing up a CS master's this semester, and looking for opportunities starting in the late summer or fall. I have experience as a full-stack (or fullstack, or full stack, whatever people ctrl-f for) developer as part of an intern/consultant position where I worked directly with customers to deliver features across databases/cloud infrastructure/web API integrations/frontends. I've also mostly-independently bootstrapped a commercial music production plugin (Pivotuner, more info on my website).

Open to most anything! I'm a fan of functional programming and programming language theory, currently doing research in logic/relational programming. I also have a background in music (I'm a published composer!) so particularly interested in audio/music-related stuff as well.