Candidate profile
Programming Language Theory & Full-Stack Developer
Rocq and formal verificationDSPPythonlogic/relational programmingJavaScript/TypeScript/ReactC/C++/JUCESQLembedded programming and FPGAsOCaml
Description
Finishing a CS master's with a research focus in programming language theory. Experienced across the full stack, with interest in R&D, especially related to audio or music. Has independently built/released apps/plugins, and contracted for small and mid-size businesses (frontend and backend). Also conducted and applied research, including technical implementation and communication (papers/presentations/documentation). Open to opportunities starting July/August or fall, and potentially applying for PhD programs.