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 dot com