Skip to content
Back to talent search

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.