Differences

This shows you the differences between two versions of the page.

--- public:hire [2016-12-23 20:36] – xukrop
+++ public:hire [2024-04-16 19:08] – xukrop
@@ Line 1: / Line 1: @@
 ====== Job offerings - CRoCS ======
-<callout type="info" icon="true">There are currently no open positions</callout>
+/*
+<callout type="info" icon="true">
+We currently have no positions open, but feel free to see the list of [[public:research:main|current research projects]] to see the areas we work in.
+</callout>
+*/
-If you are interested in working with us, don't hesitate to contact [[http://www.fi.muni.cz/usr/matyas | Prof. Vashek Matyas]] at <matyas@fi.muni.cz>
+===== 2x PhD positions =====
-See the list of [[:research:main|current research projects]] to see the areas we work in.
+Examining the ecosystems of computer security certification schemes
+Supervisor: Vashek Matyas
+Industry cooperation:
+Financing:
+Centre for Research on Cryptography and Security (CRoCS), Masaryk University and Red Hat Czech, s.r.o. are looking for two excellent, motivated, self-driven doctoral students to work in the areas of computer security and machine learning, improving the security certification scene. The positions are fully funded, the expected start is either in September 2024 (preferred) or February 2025. The position(s) is/are for four years, with funding provided by both Masaryk University and Red Hat Czech.
+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.
+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.
+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.  Fluent communication in spoken and written English is expected.