PhD Research Intern - Programming Language

Skills

About the Role

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

• Fully remote or San Mateo office
• Flexible hours