Internship positions at ISTA

Stream: job postings

[Michael Sammler]

The Institute of Science and Technology Austria offering summer internships in a wide variety of areas, including formal verification, theoretical computer science, and cryptography.
In particular, I am looking for an intern that is interested in exploring the potential of Lean for building scalable proof automation for real-world low-level programs.

The internships are fully funded, last for 2 – 3 months between May 15 and September 15 and the application deadline is February 5, 2025.
Please find more information about the ISTernship program and how to apply at its website: https://phd.pages.ist.ac.at/isternship/
For my information about the research of my group, please visit https://ista.ac.at/en/research/sammler-group/