Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Research Opportunity
Apply now Final Selection Minute View Formal Call
Research Opportunity

Software analysis


Work description

Development of Web Applications' Verification and Validation software engineering techniques, based on the generation of malicious mutations, and their qualitative and quantitative validation using a set of predefined malicious mutations and attacks.

Academic Qualifications

PhD in Informatics

Minimum profile required

Knowledge of Web engineeringKnowledge of software verification and validation techniquesKnowledge of software transformation technique

Preference factors

a good record of scientific publications

Application Period

Since 01 Apr 2020 to 05 Apr 2020


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Ricardo Morla