<div id="notion-app"><div><div> <div><div> <div><a href="#" role="link" rel="noopener noreferrer" id="skip-to-content"><div>Skip to content </div></a></div> <div><main id="main"><div></div> <div><div> <div></div> <div><div></div></div> <div role="textbox" aria-disabled="true" aria-label="Start typing to edit text" aria-multiline="true"> <span></span><div> <div contenteditable="false"></div> <div><div contenteditable="false"></div></div> <div><div><div> <div contenteditable="false"> <div><div></div></div> <div></div> </div> <div><div> <div> <div contenteditable="false"><h1 contenteditable="false" tabindex="0" role="textbox" aria-label="Start typing to edit text">PhD Research Intern - Programming Language</h1></div> <div contenteditable="false"></div> </div> <div contenteditable="false"></div> </div></div> </div></div></div> <div><div><div contenteditable="false"><div><div><div><div role="table" aria-label="Page properties"><div><div role="row" aria-labelledby=":r2:"> <div><div><div><div aria-disabled="true" role="cell" tabindex="-1" id=":r2:" aria-expanded="false" aria-haspopup="dialog"><div> <div> <div><div></div></div> <div><div></div></div> </div> <div>Tags</div> </div></div></div></div></div> <div role="cell"><div><div><div> <div><div></div></div> <div><div> <div><div><span>Remote</span></div></div> <div><div><span>Research</span></div></div> </div></div> </div></div></div></div> </div></div></div></div></div></div></div></div></div> <div><div> <div><div><div> <div contenteditable="false"><span>Responsibilities</span></div> <div></div> </div></div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">Drive research at the intersection of type theory, formal verification, and programming languages.</div> <div></div> </div></div> </div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">Work with Fuzzland researchers to advance formal verification and fuzzing tools.</div> <div></div> </div></div> </div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">Deliver high-quality outputs: papers, prototypes, and talks.</div> <div></div> </div></div> </div></div> <div><div><div> <div contenteditable="false"><span>Qualifications</span></div> <div></div> </div></div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">Master’s or PhD student in CS specializing in PL, type theory, or formal methods.</div> <div></div> </div></div> </div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">Experience with e-graphs.</div> <div></div> </div></div> </div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">Skilled in Coq, Rust, and Python.</div> <div></div> </div></div> </div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">Strong interest in applying theory to real-world systems.</div> <div></div> </div></div> </div></div> <div><div><div> <div contenteditable="false"><span>Benefits</span></div> <div></div> </div></div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">Work at the frontier of blockchain security and high-frequency trading research.</div> <div></div> </div></div> </div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">See your research applied in production systems.</div> <div></div> </div></div> </div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">Flexible, research-driven environment.</div> <div></div> </div></div> </div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">Competitive pay and benefits.</div> <div></div> </div></div> </div></div> <div><div> <div contenteditable="false"><div></div></div> <div><div> <div contenteditable="false">Fully remote (or San Mateo office) and flexible hours.</div> <div></div> </div></div> </div></div> <div><div><div> <div contenteditable="false"><span>Contact</span></div> <div></div> </div></div></div> <div><div><div> <div contenteditable="false">https://t.me/imcfs</div> <div></div> </div></div></div> <div><div><div> <div contenteditable="false"></div> <div></div> </div></div></div> </div></div> </div> <span></span> </div> <div><div></div></div> <div></div> </div></div></main></div> </div></div> <div><div></div></div> <div></div> </div></div></div>

(Other)

Palo Alto, CA, USA

Fuzzland

PhD Research Intern - Programming Language

1kx LP

Explore opportunities with leading projects across crypto & web

Tell us about your professional DNA to get discovered by any company in our network with opportunities relevant to your career goals.

Leverage our network to build your career.

#### Welcome!

Thank you for joining 1kx Network!

To help us best support you in your search, please take a few minutes to tell us about what you are looking for in your next role. We’ll use this information to connect you to relevant opportunities in the 1kx network as they come up.

You can always update this information later.

Welcome to the 1kx talent network

As our companies grow, they look to us to help them find the best talent.

Signal that you'd be interested in working with a 1kx company to help us put the right opportunities at great companies on your radar. The choice to pursue a new career move is then up to you.

Your professional information is now visible to our team and companies in our network.
We will be in touch when we find a great opportunity for you at one of our companies.

Thanks for signing up

As our companies grow, they look to us to help them find the best talent.
Signal that you'd be interested in working with a 1kx company to help us put the right opportunities at great companies on your radar. The choice to pursue a new career move is then up to you.

Work with the best minds in crypto

PhD Research Intern - Programming Language

PhD Research Intern - Programming Language