Responsibilities
- Drive research at the intersection of type theory, formal verification, and programming languages.
- Work with Fuzzland researchers to advance formal verification and fuzzing tools.
- Deliver high-quality outputs: papers, prototypes, and talks.
Qualifications
- Master’s or PhD student in CS specializing in PL, type theory, or formal methods.
- Experience with e-graphs.
- Skilled in Coq, Rust, and Python.
- Strong interest in applying theory to real-world systems.
Benefits
- Work at the frontier of blockchain security and high-frequency trading research.
- See your research applied in production systems.
- Flexible, research-driven environment.
- Competitive pay and benefits.
- Fully remote (or San Mateo office) and flexible hours.
Contact
https://t.me/imcfs