Symbolic execution, vulnerability testing, software verification
The ideal candidate will design and develop an engine for the symbolic execution of PHP applications. Moreover, by means of such execution engine, the candidate will develop a concolic testing framework.
“VeriOSS: a security-by-smart contract verification framework for Open Source Software”
- High school diploma (Diploma di istruzione secondaria superiore);
- Being enrolled in a computer science or computer engineering course (undergraduate level);
- Excellent knowledge of English, both written and spoken.
Apply ONLINE only.
- Personal info and contact info (compulsory);
- University degree (compulsory).
- The scanned copy of a valid identity document (Passport or Identity Card - compulsory);
- Your CV in English (compulsory).