Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoc position in formal methods for security and privacy

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc position in formal methods for security and privacy


Chronological Thread 
  • From: Rolando Trujillo Rasua <rolando.trujillo AT urv.cat>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] Postdoc position in formal methods for security and privacy
  • Date: Fri, 13 Dec 2024 14:41:34 +0000
  • Accept-language: en-150, ca-ES, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=urv.cat; dmarc=pass action=none header.from=urv.cat; dkim=pass header.d=urv.cat; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=EPZ/J4JuLFgdU1bwi3OudWnx1JOH/BtiM0ZWFfRni7A=; b=kV3O2ptEEV6g5HoAYN+sZvxgXfAk/yst9rEyrrs9G2ot7mIrdUM0vsgtGvYhItAxhm4mJTKzZz28ulqRanW13WJzC0dUbHSd46qsVxgZJp8Y7TUFomvE4kEjHKSIyXo/2yvZ23aQGpQA4vNh8iJ4sa66mPJpnmsdPByY4mjs4L1HtW2oUZelDBG0gKZiB+UNuJzpuKj0ZR/4BTCoPtIFEQ531wvEAO0oPaKbvxWz2kSjdUX2kKNf8EdXrogl8ZgqPCKLIkf1Y3WtCOJ+GEAQI2WcmcXg982b9sHb0oIjYKzpCoNcsigEUh/IPvpEyurbIrGtCVN0jQ+HyL8jyNKsdg==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=twn3PFT4zR6IKykGxWEARw6JE82U5nhrXE4dl0SUGvcZHtJ6O1iRYXMuxccb33uh0J0TNJ3P+ytaN1TEwFWzEBr3l8ceGPJdQowpSIoEOztMlGcTLRre7z95dvduTWc019l1h+bvltXn3wN0Yqc2VMIQSkPBjJAByMQ0Tf16mPra5m27xwK6VS22eJ52I56eHz5Ii3Dl1VCAXrirYhtjR2FHghj+6AfjCObnyRyuZ0tzfaDprSsE3H23paXqoxx7FIWf13eg/w7X/3V8BdP8iV9sdDEeMCc122qKuzBt4/0dvN86vQ/AORb1O849+YAOXjTSl3SIgiR8IcDUu+tCbA==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rolando.trujillo AT urv.cat; spf=Pass smtp.mailfrom=rolando.trujillo AT urv.cat; spf=None smtp.helo=postmaster AT EUR03-DBA-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:XO7vWKnyr6h/VE/eJ6KorOPo5gyBLURdPkR7XQ2eYbSJt1+Wr1Gzt xJOUWjSMq6ONmHxf95waIu/9kgGvJ7RydE1SwZp/y5hRVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazh8B56r8ks14K2o4WhA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1uVV4yGJ1D2t9tADse7 qcAESwqSg6q0rfeLLKTEoGAh+wOEfOzZ8YzkFglyjvUS/E7XZrEXqPGo8dC2ys9jdxPGvCYY NcFbT1ob1LLZBgn1lU/VMp4xb/3wCCnL3sB8Qv9SakfuwA/yCRr17zkNtbSPMCQWMdUmkKfj n/c4SLyCw1y2Nm3kGLZqCLz2bOf9c/9cI1CHeS13fF2uVSs6GAtDkZOC1WSnNDs3yZSXPoEc BZIpULCt5Ma/0uyC9L5QheQu2+BphdaWtxKEuR85hvl90bPywOQB2xBQjRIZcE87JQxQ2Zzj wbPmM71DztytrHTUWia6rqfsTK1P24SMHMGYigHCwAC5rEPvb3fkDrPF8lnNb7uruTvGGug2 GuSlTQZo6s62JtjO7qAwXjLhDelp57sRwEz5xnKUm/N0u+fTN70D2BPwQiLhcusPLqkok+9U G8suuX20QzjJZSElSjITO8EEayzv62CNmeF2AcpGIQ9/TOw/XLlZZpX/Dx1OEZuNIADZCPtZ 0jQ/whW4fe/3UdGj4cnOupd6Oxzl8AM8OgJsNiJNbKihbAsL2e6ENlGPxL44owUuBFEfVsDE Zmaa92wKn0RFL5qyjG7L89EjuR3nnpunzKIGMqnp/hC7VZ4TC7EIVviGAvfBt3VEIva8VyKm zqiH5fUlEgHDLOiCsUp2dVIfQtVdRDX+qwaW+QMLbTffWKK6UkkCvTLxqgmdZAtlKNPjo/1E oKVCydlJK7ErSSfc22iMyg9AJu2BMoXhSxhYUQEYw3zs1B9OtnH0UvqX8FmFVXR3Lc7laYsJ xTEEu3caslypsPvoG9MPMmh8NA4HPlp7CrXVxeYjPEEV8YIb2T0FhXMJGMDLQFXVnDp5/gt6 aatzB3aSpclTgFvRpSeIvG2wl/7+TBXlOtuVgGaapNeaWf9wrhMcibRt/4QJ91TCBPhwjDB6 R2aLy1Frsbwoqg00uLzu4a6k6mTHdFDQ3VqR1vg0e7uNA3x3HaS/otbYePZIRHfTDzV/YuhV 8V0ztb9EqQMmmdXgtBSS5dq0qMMyN/9rJBKzglfPSvqbnb6LphCM3W5zc10makV/YBguCyyQ Rip6PRBHLe0ZPPeD18aITQ6YtS51f07nifY6dI3Kh7Y4BBb0aWmU0IIGTWxkw1YcaVINb06z dcbuMI57xK1jjwoOI2kigFW72G9EWwSYZ44t501AJ7ZtSRz8wtsOafjMy7R5I2DT/5uMUNwe z+du/fktoRmn0HHdyI+KGjJ0e9jnq8xgRFtzmIZBlG3i9HA1+4W3hpQzGwNdT5r7C57isB9B ms6EHdOB/Sq3yxpj819TWyTC1l/JBmGyHfQlXoNtkPkFneNaEKcDVcTG+i3+GIhz1l9ZRlep bGR93bkW23lfeb3xSoDZnRmoP3CE/13yBzOmZ2lLvS8Hr0RQznssomxb0Um9jrlBsIQghXch O9IpexfV4zyBRQykYYaVbaI5O81cw+VAlBCTdVK3rI7LUuFdB6cgTGxel2MIOVTLPn0wGqEI s1JJPMXcS+h1SyL/wspNYRVL5BaxPcWtcc/IJX1Lms7spyanDpjkLTU0gPc3GYLYdFfofwRG 7PrVQCpMzKv3CNPumr3ssN7FHKyYoAEaC3CzemFyrg1OKxZgt58U3MZ8+WShGqUAjtF7hjPn QLkZo3q9cJA57lovbPRFvRkO13pB/L1DP+F4SKigeRoNNnvC/rDhykRi1vgPjlVA4cvZsRKp eyNnuLajELhl5QqYl/dgKiERvVo593tfe95MfDXDXh9nAmsZvHN/D4Sok2BKrFVmol/4u2iF lK0R+mueeFIWPNb7mxfMBJaIk0nE66tMrrq/h3lpdvdFBEMjA7Ndoum0VTLbmhrUDACFLOjK w3zuteovst5qqYVDjA6JvhWOb1KC369ZrkHLvraqiu9IlSzp1GNqJ/OpEEF0i7aLGuAHOLRw 4P3djKneDuc4Kj3ncxk6apstRgpPVNBqOgXfGdG3vVpijq/XVU0Hc5EPbooUphrwzHPjrfmb zTwbUwnOyX3fRJAVT7euN3DfAOuNtYiC+fDBA4C3h2rMn+tJYa6HrFe2D9q4C52dhvd3eiXE 4wi1UOqDCeh4KNCZLg13eO6s9dF1/mB53Mv+GLBqeLQLSsaI4030C1GIFIQew3BSs3DrRCeb yx9D2VJW1qyRkPNAN5tMSwdUg0QuDT0iS4kd2GTydLYoJ+W1/BE1Oa5Aezoz7kfd44fEdbin 58sq7eluAh6G0D/uJfFf/oEvJUsUrenNOH/K6XuAwoPg6u392IredsYmjYCR90j/wgZFE7Bk j6r4D41A0HtxIW9HlGJ4V1hxn6zeitk4/L1YMrXuCXY1xcw07A1vjC0mRnjJ8iYR7fL5i1lr fR7UKpVi0CMqn3vrCUWWjH3YLCYKZl5KEQomRzEgn8/ftlAhYOd+H1cP5kG6u9s
  • Ironport-hdrordr: A9a23:P6Jq36hQ3/UrnKV8yOfGF8cPcHBQX0R13DAbv31ZSRFFG/FwyP rCoB1L73XJYWgqM03IwerwXpVoMkmsjKKdgLNhS4tKOTOLhILGFvAH0WKP+Vzd8k7Fh6dgPM VbAs9D4bTLZDAU4/oSizPIcOrIteP3lZxA8t2urUuFIzsLV4hQqyNCTiqLGEx/QwdLQbAjEo CH28ZBrz28PVwKc8WSHBA+LqP+juyOsKijTQ8NBhYh5gXLpyiv8qTGHx+R2Qpbey9TwI0l7X POn2XCl++eWrCAu1LhPl3onttrcejau5V+7Qu3+4kowwDX+0qVjUJaKv2/VX4O0aKSAR0R4a HxSl8bTr9OAjXqDymISFLWqnTdODpC0Q6Z9XaIxXTkusD3XzQ8Fo5Igp9YaALQ7w46sMh7y7 8j5RPti3N7N2KyoM3G3am7azh60k6v5XYym+8aiHJSFYMYdb9KtIQauEdYCo0JEi724J0uVL AGNrCq2N9GNVeBK3zJtGhmx9KhGnw1AxedW0AH/siYySJfknx1x1YRgMYfgnAD/pQgTIQs3Z WxDo140LVVCsMGZ6N0A+kMBcOxF2zWWBrJdHmfJFz2fZt3S04la6SHkYndyNvaBqDglqFC5K gpeGkoylIPRw==
  • Ironport-phdr: A9a23:ROVNFxdCx7vN9iiVZXpBwDYElGM+PdfLVj580XLHo4xHfqnrxZn+J kuXvawr0ASQG9WEoKwYw6qO6ua8AjRGuc7A+Fk5M7VyFDY9yv8q1zQ6B8CEDUCpZNXLVAcdW Pp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uM Rm6twrcu8cLjYd4Kas8yBTFr3pHdu9LwW9kOU+fkwzz68q+4JJv6Thct+4k+8VdTaj0YqM0Q KBXAzghL207/srnuwXdQwCS/HUcSGIWkhRJAwjB8h73W4r6vzX5uORgxiSUJNX6Qr8oVzus6 adrUwLohzwcNzEl6mHXi9d/g7xdrRm8uhFw2Y/UYIWSNPpjYqPQeM4RSGRdUspNUSFKH4WxZ JYNAeUcJ+ZVt4nzqUUToxuiCweiB//gxTBTi3DswaE2z/4sHR3a0AA+Gd8FrXTarM/yNKcXS e270K7IzTHZYPNQxDj975XDfA47ofGRX7JwcM7RyU0oFwjYklufs5flPy6P2e8QtGWb9e1gV ea1hG4htg5xpSKjxts2ionUhIIVy1TE9SF+wIsuON24UlB7bcS4H5RKqyGXLo17Sd4tTG90o ig10KEGuYKlcygQzpQq3wDTZuGZfoSW7B/uVemfLzl3inxqZr+ygxW//VSgx+P8WMS630pHo jZYntTIqn0AyRLd5tWIRPdh4kqsxTSC2gHV5+pZL040kq/bJIQgwr42jpcTrF7DHjHslErql qCWal0o+vWy6+T5eLnqvIOTOJVoigz4L68gmdS/DPw3PwQSRWSX5Piw2b/58UHkXLlHgec6n rTEvJzHPcgXuK+0DxNb34sm9hqzEy2p3dUdkHUaMF5IfQyLg5X0NFzLJf30E+uzjlKxmzp1w /DGI6bhAonTIXjZjbnhfLd85FBExQYvy91U+ohaBasbIP3pX0/8rNzYAQE9Mwyz2+vpB9ty2 J8CVW+BG6OXPr7fvEOR6uIoOOaDepUZuDHgK/g5/PHuimI5mVkAcqWzxZsXcne4Huh4LEqFf Xrsg9ABEWEQsgo5UezqlFmCUTlUZ3axRa4z+jY7CIe+AYfCQICinqCB0T+0E5FKfGxKF0yAH HXye4mZR/sBZzieLtJ8njAZTbShTpUu1RCqtA/00bpnKe/U9zUCtZLk0Nh6/evTmgw19TBuE 8SdyXyNT2N1nmMMQz8227tyoVFnyledy6R3n+ZXFcBL6/NPSQg1LYTcwPBiC9DuRgLBec+ER Eu+TtW8HT4xVs4xw8MJY0tlB9qiiQnD0zO2DL8RiryEH4c58rnc3nj0P8Zy0WzK1Kgnj1k8Q 8tAL3eqhqBl91ubO4mc2U6ejuOhcbkW9C/L7maKi2SU9gkMWwlpFK7BQHo3Z03MrN2/6FmUH JG0DrFyCAxFwMiOLeN2cMDrjFFCQ7/ZMc/DairlgWC0DBCEwfWQdpfoemEZ2w3AElZCmAkPq yXVfTMiDzus9jqNRAdlEkjiNhuEGYhWrXq6ShRx1ASWdwh60KLz/BcJhPuaQvdV37QeuS5np S8nVE2l0YfwDNyN7xFkYL0aeck0tU1A0Wvfuws7Ioa9LaFmglk2bh5p+Ujny0Y/EZ1OxPAjt 2hi1w9uMeSd2VJFeSmf2MXqPbneLGX1ugy1dqzX3lXZ+MuM5OEE4ehr4077slSPEUwvu25iz 8ET03aY4cDSCxEOVJvqTkst3zVHnemBJwUXzsbT33AqNrSouDjf3d5vHPEi1hurY9ZYNuWDC RP2FMoZQcOpLYTGgnCPaRQJdKBX/a8wZIa9cueenbWsJKBmlS6nimJO5MZ81FiN/mxyULyA2 ZFN2Pye0gadMlW0xF68rsD6n5xFbjAODyK+zybjHotYeqx1e84CF26vJ8S9wtg2iYTqXjZU8 1uqBlVO38HMG1LadVv51Atc0gILu2GlmC+8yBRpiS9vpaODnWTPz+nkaBsbKztTXmAx6DWka YOwjt0cQA2pd111zF38vRm8nvAH4v0mdjq2Iw8AZSX9ImB8X7Hls7ODZ5UK85Y0qWBMV/z6Z 1mGS7n7qh9c0iX5HmIYyipoElPi8pj/gRF+j3qQaXhpq3+MM9t3wR7Z6NuaWeRM3DsCQC5Ql CPJQFO1I5P6mLfc34eGqe24W2+7A9dJdi3iy4+H8jeh+G9rBRm4t+2phJvsGBRwgkqZn5F6E C7Pqhj7eIzi0a+3ZPlmckdfD1j588NmG4t6n+Pcnbko0GMBztWQ9HsDyiLoNMlDnLn5dDwLT CIKxNjc5E7k3ldiJzSH3dCxWnKYy8pnL960BwFekjg668lMBKDS8KZZnypxpl2QsBjPJ/N0g n8RxOAv53gTn+wS8FZ1iHzFXfZLRRUeZHW13x2TirL25L1afmOubaS92AJlkNatAavD6gBQV XDle4szSCp578FxKlXJgxiRosnvfNjda85WtwXBz0+G1rAKbstpyrxT3HM0XAC19WcowOM6k xF0iJSzvYzcbn5o4Lr8GRlAcDv8e8IU/Djpy6dYhMefmY61TfADUn0GWoXlSfWwHXccr/PiY kyUFzk1rHucX6bFAA2e7ENhh2/VDdagPm3ddxx7hZ1yAQKQIkBSmlVeRjI+l5g1EUa23tHjc UN94RgM/EC+oRJQgLENVVG3QiLUowGmbS0xQZ6UIU9N7w1M0EzSNNSX8uN5GywLto3ktgGGL XaXIhhZFWxcEFLRHEjtZ/P9gLuIu/jdHOe1KOHCJKmDufALHend3oqhi8Nn52reap3JbyMkV 7tjnRMeFXFhR5aFw3NWE3NRz2SVKJfFwXX0sixv8pLiqrKyAFqpvc3XTOIPedR3p0Lr2+Hab 7TW3GAhbm8GnpIUmS2Vkv5GhAVU02c2MGDydNZI/S/VEPCJwvMRU0FdM2Urc5IXp6MkgFsXM JaC2Iqsj+x20qZtWQUCCQyE+InhZNRUcTu0bAqVXR/SZrrafWaZkYarMOu9UeMC1uwM7k/p4 G/JHRO7ZWbTz2GxBULobLgp7mnTPQQA6tu0Kk8/UDG6Hty6MkbpO4cv1W9khuBtznLSazxGO GAlIRoU9++esXsD0PsnQzQTvD04d6HBkiKdpYE0M74wtv1mSmRxnuNeuzEhzqdNqTpDXLpzk TfTqdhnpxenlPOOw3xpSkgGrDEDn4+NsUh4XMeRvpBdRXbJ+g4M5mSMGlwLodViENjmp6FXz JDGiqvyLD5I99+c89EbAoDYL8eOMXxpNhSMenacFAweUTuiLn3SnWRwrcvKrTi5hLF/rZLh3 p0TVrVcSVo5UOsADVhoF8ADJ5ExWS44lbmcj4gD4n//yXuZDMRWs5bbV+6DVPXiLDHKxbJAZ hYO3fb5NdFPbsuigxMkMwEm2t2TQhm1P5gFuCBqYw4qrV8Y9XF/SjZ2wEf5cka252dVE/eon xkwgw84YOI39T6q7U1kQziC7CY2jkQ1ns3oxD6LdzukZr23WYhQBy2yq1IsMJL/RwFdcBes2 0dtKH2XItAZx6slbm1thALG7NFXHuVASKRffBIK7dyqXa1zlHh2g2Cgz0IB4vbZA5x/kgdsa YSrs39LxwNkapgyOLDUI61KiFNXg+jd203gnvB0ywgYKUEX9WqUcyNdo00EOI4tIC+w9/Bt4 wiP89OmUHUWSbwhq+44rivV2syt8hi4iPtvAGn0MOaSaaSEp2LHiMiEBEsq0V8FnFVE+r4w1 to/d02TVAYky77DT3zh2uLfMx8TZMNOpiG7QA==
  • Ironport-sdr: 675c47a1_FwS0fDpJ6wiPN/z79g3PMK0qn4I0En6OkIKDYnwwaEyukfW ChrEX5VCGy6v8IYANV1Pd0gwJe4v4/8fUz/6gEg==
  • Msip_labels:

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.trujillo AT urv.cat)




  • [Coq-Club] Postdoc position in formal methods for security and privacy, Rolando Trujillo Rasua, 12/13/2024

Archive powered by MHonArc 2.6.19+.

Top of Page