![null Bild der Pressemitteilung](https://saarland-informatics-campus.de/wp-content/plugins/wp-fastest-cache-premium/pro/images/blank.gif)
The RustBelt project, kindly supported by an ERC Consolidator Grant, is looking to fill several open PhD and Postdoc positions. POSTDOCS: We are seeking exceptional candidates with a strong, internationally competitive track record of research in programming languages and/or verification. The primary criterion is quality, but I am particularly interested in…