Get your Emails warmed up and ready to send
Build sender reputation and reach more inboxes with automated email warmup.
Warm up your emails
Starting at $49/month
Jacopo Philip Moretti
Software Engineer Intern @JetBrains
Écublens, CH
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Mar 2026 — Present
Software Engineer Intern @JetBrains
Munich, DE
Student Intern in the Jetbrains Formalization Team, working on translating Kotlin semantics in the Lean theorem prover. Tasked with formalizing uniqueness types, proving correctness of a uniqueness type system implementation.
ABOUT JACOPO PHILIP MORETTI
CS MS Student @ EPFL • Co-Founder @ actualia
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.