Fuzzland
PhD Research Intern - Programming Language
NEWRemote (or San Mateo office)Full-timeGlobal
š Entryš Remote
RemoteRemote work position availableActivePosted within the last 30 days
Job Description
[AI-summarized by JobStash]
You will drive research at the intersection of type theory, formal verification, and programming languages. You will collaborate with researchers to advance formal verification and fuzzing tools, build prototypes, and produce papers and talks that communicate your results.
Requirements
- āMaster's or PhD student in Computer Science specializing in programming languages type theory or formal methods
- āExperience with e-graph
- āProficiency in Coq
- āProficiency in Rust
- āProficiency in Python
- āStrong interest in applying theory to real-world systems
Responsibilities
- āDrive research at the intersection of type theory, formal verification, and programming languages
- āAdvance formal verification and fuzzing tools
- āCollaborate with researchers to design and evaluate prototypes
- āProduce papers, prototypes, and talks
Benefits & Perks
- āFully remote or San Mateo office
- āFlexible hours
Tech Stack
type theorye-graphProgramming-languagePythonFuzzingCoqRustFormal verification