Location: New York City area, USA

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 at dmitrivolkov dot com

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

Just about done finishing up a CS master's degree, and looking for opportunities starting in the late summer or fall. My background is in programming language theory (particularly logic/relational programming), so would be very happy to work with functional languages, compilers, automated reasoning, and/or formal verification. I also have a background in music (I'm a published composer!) so particularly interested in audio/music-related stuff as well. Open both to software enginering roles and research positions (anyone looking for new PhD/doctoral students?) I've also done full-stack work across databases/cloud infrastructure/web APIs/frontends, and independently released a commercial music production plugin (Pivotuner, more info on my website).