I am a PhD student looking for a summer internship, my research area is programming languages and compilers
Location: West Lafayette IN USA
Remote: yes
Willing to relocate: no
Technologies: Java/Kotlin, Rust, C/C++, JavaScript/TypeScript (Node.js and web), Swift (iOS), Coq (formal methods)
Résumé/CV: https://jakobeha.github.io/Resume.pdf (https://jakobeha.github.io is my personal site with more info)
Email: jakobeha at gmail.com
