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