Open Applications

The SaToSS group is always looking for excellent candidates interested in formalizing and applying formal reasoning to real-world security problems and trust issues. If you would like to work with us, please send your application (containing cover letter describing your interests and goals, a detailed resume, and the names of two referees) to