This is an old revision of the document!
Job offerings - CRoCS
This page lists currently open employment and PhD positions to our lab.
Employment positions
We currently have no employment positions open, but feel free to see the list of current research projects to see the areas we work in.
PhD positions
Supervisor: Vashek Matyas <matyas@fi.muni.cz>
Industry cooperation: Red Hat Czech s.r.o.
Start date: September 2024 or February 2025
Topic specification
The aim of these PhD positions is to analyse and improve the ecosystems of products certified under security certification frameworks such as FIPS 140 and Common Criteria. Even such security-certified products suffer from critical vulnerabilities, and assessing which certified products are impacted by such vulnerabilities is complicated due to the large amount of unstructured certification-related data and unclear relationships between the certificates. Our tooling (https://seccerts.org) automates the analysis of tens of thousands of certification-related documents, extracting machine-readable features where manual analysis is unattainable. This tooling is still to be improved and utilized.
Expected expertise
We expect candidate(s) who have (or soon will have) a MSc degree or equivalent and a solid background in computer science or engineering, with some background either in computer security or machine learning or natural language processing (though not necessarily both). Fluent communication in spoken and written English is expected.
The sec-certs project
tba
The team
The successful candidate(s) will work with CRoCS during the whole duration of the project, while cooperation with Red Hat is expected in a form of regular meetings with Red Hat experts where progress will be evaluated and next targets agreed. The work to be undertaken during all years of research will be at the intersection of computer security and machine learning.