Location: New York City area, open to relocate

Remote: Yes, also open to on-site

Willing to relocate: Yes

Technologies: most experience is in C/C++ and OCaml, also comfortable with TypeScript/JavaScript/React Native/Expo, C#, Python, (System)Verilog, Rocq, and of course SQL. I usually pick up new stuff quickly, full laundry list on the resume.

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

Email: dmitri at dmitrivolkov dot com

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

Recent CS masters graduate, looking for opportunities starting in September. 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. Curious to learn more about embedded/systems stuff. 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).