Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Last CfA: Fully-funded Ph.D. Positions in Computer Science at IMT School for Advanced Studies Lucca

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Last CfA: Fully-funded Ph.D. Positions in Computer Science at IMT School for Advanced Studies Lucca


Chronological Thread 
  • From: "Cosimo P. Brogi" <cosimo.perinibrogi AT imtlucca.it>
  • To: types-list AT lists.seas.upenn.edu, coq-club AT inria.fr
  • Subject: [Coq-Club] Last CfA: Fully-funded Ph.D. Positions in Computer Science at IMT School for Advanced Studies Lucca
  • Date: Mon, 17 Jun 2024 15:12:22 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=cosimo.perinibrogi AT imtlucca.it; spf=Pass smtp.mailfrom=cosimo.perinibrogi AT imtlucca.it; spf=None smtp.helo=postmaster AT mail-ed1-f54.google.com
  • Ironport-data: A9a23:s56GsqB9Mo1A/RVW/9Pnw5YqxClBgxIJ4kV8jS/XYbTApDIh0TMOx mJMCz2DP/qMYGvxeI9yO9jkpxsAvpDcydc3OVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/YuHaDdJ5xYuajhIs/za90sz1BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc50bvdV/K8/BuN0oNYJMSprl2WX5E8 uNNfVjhbjjb7w636LeyS+0pi8h6ace2YMUQvXZvyTyfBvEjKXzBa/+StJkIgXFq3pAIQKq2i 8kxMVKDaDzLZAZOP1BREJ8kneGpjGP4fDxwqVeJobc86GGVzRAZPL3FYIuFK4bVFJU9ckCwt l/fzW39Lkwhap+O8SSa9HmwptDzgnauMG4VPOblr6Y10QP7KnYoIBYRTB6wpeSzolWvXspWb U0S4Csn66YonHFHVfH4Vhy85XOI51sSBoYWHOo95wWAjKHT5m51G1ToUBZKQdoCkv8zRQch7 QKXlY+2BGRwurqKHCf1GqivkRu+Pi0cLGknbCACTBcY79SLnG3VpkKSJjqEOP7l5uAZCQ3NL ya2QD/Sboj/YOYO3qS/uF3L2nei+8SPQQky6QHaGGmi62uVhbJJhaT5tTA3Dt4Zc+51q2VtW lBawaByC8hQUfmweNSlGrllIV1Qz6/t3MfgqVBuBYI90D+m5mSue4tdiBknex45b5heJ2GzP BGM0e+02HO1FCv0BUOQS9LhY/nGMYC5TrwJq9iNMoQeMsUoLmdrAgk0NRXNjggBb3TAYYlkZ M7DLpfyZZrrIatgyzWySq8c17Rtrh3SNkuCLa0XOy+PiOLEDFbMEeltGALXMogRsvnYyC2Lq I03H5XRlH1ivBjWOXW/HXg7dg1ScRDWxPne96RqSwJ0ClU7Rjp/WqKAm9vMueVNxsxoqwsBx VnlMmcw9bY1rSevxdyiOyA9OoD8F41yt2w6NiEKNFOlkSprK4W24atVM9N9cbA7/aYxhbR5X tsUSfWmW/5vczXg/yhCTJ/fqIc5Sg+nqzjTNAWYYR8+XaVaeSr3xvHecDDCzhI+VhiMiZNmo pmL9B/qfp4YdgEzUOfUcK2Oyn2yj1g8mcVzfVPCEuNIdHrK8rlRdjT9pd4sAsQ2MR6Y7CCr5 wWXJhY5pOf2vI4+9ufSt52Et4uEF+hfHFJQOmvmsYaNKijR+1S8zb96UOqneS7XUEX28v6AY dp54u7dMvpdunp3qKt5TqhWyJwh6+vVp7N1yhpuGFPJZQ+JDpJiOny34tldhJZSx7N2uRqEZ WzXw4N0YY62AcLCFEIdACEHbe7ZjPEdpWT03MQPeU7/4Hd6waqDXUBsJCKzsS16LoZuEYYb0 Owk6d836Qu+t0IQCey4rBtorkaCEn9RdJ8clMA+IJTqgQ8V2F19ccTiKivp0qquNfRIEGcXe wGxuoSTqYhY9ET4d1gLKUPsxstY3JQHhwBLxgQNJnOPgdv0ucU01xxwrxUyShhZ4QUe4rhVO kxuMxVUJLqPzRhslsNsT2ChICAfJRy7q2ja6UoFq33ddGasDlfyFWwaPf2c2nwZ/0Z3XClpz JvBxEnLCT/VLdzMhA0sUktbmtnfZN1W9Dyavvu4Hs6ATqIIURC8joCAPWM3+gbaW+Uvj0j6p M5vzuZ6SYv/EQUy+6QbKY2r5Y48eSC+Bl5pYK9epfsSPGTmZjuN9yCEKBmxduNzNvX6yxKEJ PI0FP1fdSaV9XiolS8aN54uMrUvvf8O5fg+QJ3JC1MCkYOiqmtOjMqN2An43HQmUvd/o/Ybc 4nxTQ+PIkaUpHlTmlLOkvV6B3qFUYEESjHRjOGR28cVJq0Hq9BpIB0T0KPrnnC7MzlH3hOzv SHfVpDS1Mhd94dJpNLpNJl6GjfueM3BDvSM1AWVrd51TMjuNP3WvFg/sWjXPAVxPJoQVe9ol L+LjsXF4UPdsJsyUEHbg5OkBYATwemDB89sLdPREHlWuQCgSf3cyUIP1E7gIKMYje4HwNesQ jWJTfeZdPkXao97/2JUYS0PKCQtIf37QYm4rBzsssnWLAYW1DHGC9aV9XXJS2V/XQ1QMr3cD j7Egdqf1up6nq9tWiBdX+pHBqVmKmDNQaElLt39lQeJB1mS32+thOHQqgoC2xrqVF+/D8fI0 bDUTEPfdTOzmp3y4vN3johQhiATXVFB2bQeX0RE99BP3mXwSCZMKOkGKpwJB61FiiG4htmye DjJa3BkEinnGyhNdRLn+tn4QwODHao0N8zkIiAytVahA8ts6Fhs3JM6nsuh35t3Rtcn5OSuK NVb93GpexbsntdmQuEc4vH9iuBirh8fKrTk5mil+/EewT5HaVnJ6JClNAtISSjaGMrE0kTXT YTwbX4RW1m1ECYdDu45E0O423glUPfHzjA0aTqEy9+ZupnzICisDhHgE7mb74Dvp/jm6FLDq b0biodND62rNqQvhJYU
  • Ironport-hdrordr: A9a23:gm9faKuXK83RdtosNyEDVVvW7skDmtV00zEX/kB9WHVpm6yj/P xGUs516faUskd1ZJhOo7q90cW7LE80sKQV3WBzB8bBYOCFggWVxehZhOPfKn/bexEWndQttp uIBpIObuEYemIK6voSjjPVLz9Z+qjizImYwdzF1n9oQEVDYbxh6QARMHfgLmRGADJdHJI8Gd 6l+sZaq36BdB0sH7+GL0hAZPLbr9nH0KjregELHHccmXCzpALt0qfzFxXd5RsFTzZTqI1SiV T4rw==
  • Ironport-phdr: A9a23:iPs+Qh+wpHQE1v9uWc+1ngc9DxPPW53KNwIYoqAql6hJOvz6uci4b QqEv6gm0gaBdL6YwswHotKViZyoYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5Znebx9GiTajYb5+I xS7oRjMvcQKnIVuLbo8xRTOrnZUYepawn9mK0yOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ 7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8 qlmRAP0hCoBKjU293zZitFrjKJDvh2uuwB/zYDTYIGQLvV+f6Xdds4eSWdOWstdUipMCZ6+Y YQSFeoMJeVWoZT9qVUQoxWxGQejC+zgxDJTmn/73rc33/g9HQzc3gEtGc8FvnTOrNXyMacfS e65wbfPzTXYbvNW3DD945XSfBw7vPqBQKhwcc3eyUkuGQ/Ok1KdppDiPzOO1+QNtm+b4/B4V e2xkW4nqgdxojm0ycc2jYnJiYMVx0vF9SV83IY1IcC4R1JnbtG+CpdQtj2aOpJwT8g/TG5mp Dw0xacauZ6nYicK0pInygbBZvGFboWF4BDuWfiVLDtkmX9pZbyxigus/EW81uDxVce63EtXo idZjtXBtXIA2RPd58SbV/dw/Uev1DWO2g7T7OxPPE46la3eK5E7w74wkIIesUvCHi/qnEX5l rSZel8l+uiv7ensf7bopoeEOoNqlg3zNr4il8+/DOgiLAQCQ2uW9f682bDs5UH1XbFHg/Msn qXHrJzXJ94XqrO6DgJUyIou6hWyAjG729kGmXkHMUlFeA6ZgIjzJl/OIfH5Aumnjliwljpg2 urIMaf7AprXK3jOiLfhcqh5605b0AczyMpQ55NQCr0YPv38R1L9uMXWDhI5PAG42ennCNJ61 oMRXWKAHLWVP7/VsV+N/u4vIu+Ma5EJuDvlNfQp+/rjgWU6lFIdZ6Wlw4cbZXOiEvlmLEiVe X/sjc0AEWcOsAo+VuvqiFiaXDFPYHayRKM85jQ8CI68FYfMWJqtgL2H3Ce6BZJWfGdGCl+NE XrzdoWEXusMaCaPIsB9jjMLT6KtS4491R22sg/10KJoLvDI9S0AqZLjyN916vXOmR0q7zx7E 9yd032RT2Fzhm4HWzg23LlmrUNhzleDzLN3judDFd1T4vNJSh01OYTdz+x8EdDyWxjOcs2HS Fa8EZ2aBmQtX8o82JoKYl1hM9GjlQzYmTGnCqRTiqSGAppy/67BmzD6IN84wHLb3oEgiUMnS 41BLz6InKl6okL4AJXIlkLRr+DiX74b0y+HvDOIynGPuUYeSANqUKPEV2oYaUr+rNHl4l7JR LboCKhxYVgJ8tKLNqYfMo6htl5BXvq2ZIW2iwOZnm6xAU3N3baQdM/xfH1b2izBCU8CmgRV/ HCcNAF4CD3y63nGAmlIElTiK1jp7fE4sGmyG0Qz1ACPaAt52qC0/B8fn/uTStsS264ApSwqo nN1AAX1xMrYXuKJvBEpZ6BAeZU46VZD23jesll2OYehKqcknlMEcgJ2tVnp2BRfC4BcldUhp 3pszRYhYbmA3gZncDWVlYv1JqWRKmT2+0W3bLXK31jFzNuM0qIG6fB9plm6+Q/0Sgwt9HJo1 9QT2HyZjnnTJCwVV5+5EkM+9hwh4qrffjF4/ITMk3tlLaiztDbGndMvHuosjBi6LZ9ZN+ufG Qn+Htd/ZYDmIfE2m1WvchMPPfxDvK8yMcS8cvKa2amtdO9+lTOihG5D7chzyEWJvyZ7T+fJ2 d4CzZT6lkOMUCz9iVDnqs3tmIZFbysVEWuXyC34AJNabaQ0fJpKQWaiLsurx8lv0ob3Ui09l hbrDFcH1cm1PBuKOgaljEsAiAJN+SzhxHfrql482yskpaeewiHUluHrdR5cf3VOWHEnllD0Z 469k9EdWkGsKQkvjhqso0jglM057OxyKXfeRUBQcm34NWZnB+G7saGDZskJ8J4ysCNWWv67b lGyS7vhpwYR2CqlHncUl1VZP3m6/470mRB3kjfXJ3ForX/eP9l93xbZ5dbGQvFQ9jsDWC1lg jLeQFmgdYrMn53ch9LIteawUHikX5tYfHzwzI+OgyC84HVjHRy1m/3bdsTPKQEhyme70tBrU X6NtxPgeszw0Lz8N+t7f05uDVu66sxgG4g4nJFizJ0X3HEbgN2S8x9l2S/4Ns5a3KW4dHcXR DgKycTS7wnN2Uh/Km+CzIu/V2nVzsZ6Zta8a38bwWpnt5EMWPrStuQU23Yp6lOjyGCZKeBwh DIc1ecj5DYBjucFtRBshiSRD7YOHFVJaCnllhCG9de7/+1cYGeid6T11VIrx4jwSuHf5FsEC DCkJsRHf2c49Mh0PVPS3Wem74jlfIKVdtcPrliPlA+GieFJKZU3n/5MhCx9OGu7s2d2roxzx RFow5y+u5CKbmt3+6fsSBVfLTzwYIUL9yvsi6dUhMGZ3qiuG4llBz4AVd3pUbj7dVBa/eSiL AuIHDAm/z2QHqHeGAjZ8Ep8rnTOGYqsOHC/JXwFychpTxDbJVAV02V2FH0q25U+EA6t3snod kx0sysQ6lDPoRxJ0ut0NhP7XzSXtEKyZzwzUpTaMAtO41QI+RLOKcLHpLEWfWkQ7ti7oQeKM GDeewlYETRDRBmfH166dri2uYubrq7BV7L4daeRJ+3J87AWVu/Ul8zzlNE9pHDVaJ3JZj47X phZkgJCRSwrRZqfwm1VDXRRz2WXN4aavEvupHMx9JzutqSzHlqov9PHCqMOY4o1vUnqx/7Sb ajIw38pTFQQnpIUmS2XlP5GhgNU02c2MGDzWbUY6XyUFPKWw/AISU5dM2QpbYNJ9/5uh1YWf 5eK1pWtkOY/16BQaR8NVES9yJvxNIpafifkbgOBXAHSa/yHPWGZmZipJ/7sD+QB1qMM8ETh8 TeDTx25Z2rFzWK4EUv1d7kL1XD+XlQWroi5dlwF5XHLatXgZ1X7NdZ2iWZz2rgonjbRMnZaN zFgckRLp7nW7CVCg/w5FXYTpnxiZfKJnSqU9Yy6Yt4frOdrDyJolulb/GVyyr1b6ztBTeB0n y2ap8BnolWvmO2CgjR9Vx8GpjFOjYON9UJsXMeRvoFHQmrB9QkR4H+4Dh0Lo55oBoSqtf0Mj NfIk633JXFJ9NeVtcoQCs7IKd6WZXosNR26fVycRAABTDOtKSTenxkHyKDUpiDT9MBq7MWwy /9sAvdBWVc4F+0XEBFgFd0Ge9JsWy881KWclIgO7Ga/qx/YQINbuIrGX7ScG6aKSn7RgL9aa h8P2b69I54UM9ix0Et5a1x92pzHAUvWXNpXpSJgRg4xvEFQ+3N3CGwvkRGACEvl8DoIGPi4k wRjwBN5evgo/Szw7k0fI1PLoG49nBB0l4i5xz+WdzH1IeG7WoQcWE+W/wAhd5j8RQhydwi7m 0dpYSzFS7xmhLxlbWl3iQXYtPOn9tZdSLFAfRQbzLeWe6dxuby9giCuxEsC6OecTJU/yE0ld pmjq38G0AVmPoZdzUn4Ja9VykVbjavIvzP6jogM
  • Ironport-sdr: 667036bf_78Z/YGAN5wFq3xKQt0lEGEEO1Pb0Z6y4PmnFXwCHIva71X/ rk5kcBvmH1Zf6BUC7tigP9VShh4RB2tP/T1FTcQ==


**Fully-funded Ph.D. Positions in Computer Science**

IMT School for Advanced Studies Lucca — recently ranked one of Italy’s
top universities for computer science in the last national research
evaluation exercise — invites applications for up to nine fully-funded
Ph.D. positions in Computer Science within the Software Quality track
of IMT’s Ph.D. program in Systems Science.

Successful applicants will receive the following benefits:
- Enjoy a monthly stipend of approximately €1,300.
- Live at no cost in full-board, serviced housing on the breathtaking
IMT campus in historic Lucca, Tuscany — valued at around €800 per 
month.
- Benefit from a 50% increase in your scholarship for international 
research stays.
- Receive ample funding to support your innovative research efforts.

The program is fully funded for three years, with the possibility of a
scholarship extension of up to one year.

Working closely with IMT's SySMA group, we welcome outstanding
applicants interested in several areas of computer science, including
formal methods, machine learning, modeling and simulation, program
verification, cybersecurity, and software engineering. 

IMT Lucca fosters an international environment. The working language is
English.

The application deadline is *21 June 2024*. Applications must be
submitted through the online form available here. Further information
about the Ph.D. program in Software Quality is available here.

Interested candidates are welcome to direct informal inquiries to
sysma AT imtlucca.it.


--
Cosimo Perini Brogi, PhD
Assistant Professor
SySMA Research Unit
IMT School for Advanced Studies Lucca
Tuscany, Italy
https://logicosimo.gitlab.io/













  • [Coq-Club] Last CfA: Fully-funded Ph.D. Positions in Computer Science at IMT School for Advanced Studies Lucca, Cosimo P. Brogi, 06/17/2024

Archive powered by MHonArc 2.6.19+.

Top of Page