1 Visiting Professor position
(Deadline January 9th, 2023 13:00 )
Profile
The successful applicant will be a university professor with proven experience and an excellent record of scientific publications in programming language semantics, security, and formal methods. The applicant is also expected to have teaching expertise in the context of doctoral programs.
Activity
Scientific interaction with Ph.D. students, participation in the research activities of the SySMA unit, and delivery/co-organization of research seminars.
Duration
1 year
Gross amount
4.700,00 €
Formal requirements
- MSc Degree;
- Knowledge of English, both written and spoken.
Specific requirements
The candidate must have a scientific and professional background to work in a highly collaborative and multidisciplinary environment. The candidate must have specific knowledge of the following topics:
- security modeling and analysis;
- programming language semantics;
- formal methods and verification.
- security modeling and analysis;
- programming language semantics;
- formal methods and verification.
Job Research Unit:
SysMA
Job Contract Type:
Contratto di lavoro autonomo
Full call
Selection Committee
Final decree
Application
Apply ONLINE only.
Before starting prepare the application attachments and information as listed below.
Info
- Personal info and contact info (compulsory)
- Number of your Identity Document (Passport or Identity Card) (compulsory)
Attachments
- Your CV in English (compulsory)
- Identity document (Passport or Identity Card) (compulsory)
Contacts: