Candidate profile
Full-stack Developer and Audio Programmer
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
Finishing a CS master's, seeking full-time opportunities. Experienced in full-stack development (databases, cloud, web APIs, frontends) from an intern/consultant role. Independently developed a commercial music production plugin. Passionate about functional programming, programming language theory, logic/relational programming, and music/audio programming. Also a published composer.