Postdoc position in formal methods for security and privacy

[rolando....@gmail.com]

We seek to hire a full-time postdoctoral researcher in the area of formal methods for security and privacy.

The University offers:

• A 2.5-year contract at an exciting international environment located in Tarragona, Spain.
• Generous travel funds.
• Possibility to co-supervise PhD students.

Your role:

The successful candidate is expected to contribute to the PROVTOPIA project, which focuses on counteracting disinformation via Secure and Private Provenance Verification of Media Content. The candidate will work under the umbrella of the Crises research group (https://crises-deim.urv.cat/) and the direction of Dr. Rolando Trujillo. 

Include in your application the following documents:

• Curriculum Vitae
• Research statement
• Contact information for 3 referees

Deadline for applications is 15 Febraury 2025 . Early applications are highly encouraged, though, as they will be processed upon reception.

Contact: Dr. Rolando Trujillo (rolando....@urv.cat)