Mathematics for Testing, Reliability and Information Security (MATRIS) was founded to facilitate the connection between discrete mathematics, computer science in general and, in particular, the interplay with information security. The group has positioned itself within SBA Research to serve as a major long-term vision of the center with regard to the successful development of real-world applications as well as necessary for the advancement of theoretical approaches and methodologies. More information about the group can be found here: https://matris.sba-research.org/
SBA Research is a research center for Information Security funded partly by the national initiative for COMET Competence Centers for Excellent Technologies. Within a network of more than 70 companies, 15 Austrian and international universities and research institutions, and many additional international research partners we jointly work on research challenges ranging from organizational to technical security to strengthen Europe’s Cybersecurity capabilities.
AbouT THE POSITION
The position is focused on research regarding practical software security and conformance testing based on combinatorial testing, a model-based methodology that offers mathematically guaranteed coverage of the input space. The project assistant will be closely mentored and monitored by senior researchers of the team.
The filled position will become part of the CST research team focused on combinatorial security testing and enhancing its applications to practical testing workflows.