[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi everyone,
I am excited to offer two fully-funded PhD positions at the Institute of
Science and Technology Austria (ISTA) on the outskirts of Vienna for motivated
and capable students in the area of Programming Languages and Verification
(https://urldefense.com/v3/__https://ista.ac.at/en/research/sammler-group/__;!!IBzWLUs!QbPmFpVmGTbuk9WWTZ98h6Bsebu9RtNaxWEOYJMDGRhk2ddJZr9nAymfQaUI3izIeAvy6W2kJhksrQG1-rD_aZGTiisrY_UStJ_QFNpaTpk$
). The research of my group centers around the theoretical and practical
challenges of verifying realistic low-level code, with a focus on verification
techniques based on proof assistants like Coq and separation logics like Iris.
Experience with proof assistants, separation logic, and/or low-level systems
development is greatly appreciated.
ISTA offers internationally competitive salaries, full health benefits, and
subsidized on-campus housing in the first year. Students with a bachelor’s or
master’s degree in a relevant field are encouraged to apply. The deadline for
PhD applications is January 8, 2024 for a start date in September 2024.
For more information about the research and the PhD positions, please contact
me directly at [email protected]. For additional information about the
application process and the ISTA PhD program, you can also visit the website
https://urldefense.com/v3/__https://phd.ista.ac.at/__;!!IBzWLUs!QbPmFpVmGTbuk9WWTZ98h6Bsebu9RtNaxWEOYJMDGRhk2ddJZr9nAymfQaUI3izIeAvy6W2kJhksrQG1-rD_aZGTiisrY_UStJ_Q_eHQ8U8$
. Applications should be submitted through
https://urldefense.com/v3/__https://phd.ista.ac.at/__;!!IBzWLUs!QbPmFpVmGTbuk9WWTZ98h6Bsebu9RtNaxWEOYJMDGRhk2ddJZr9nAymfQaUI3izIeAvy6W2kJhksrQG1-rD_aZGTiisrY_UStJ_Q_eHQ8U8$
.
Best regards,
Michael Sammler
