coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] 10 fully-funded Ph.D. positions in Software Quality at IMT School, Lucca, Italy
Chronological Thread
- From: Letterio Galletta <galletta AT di.unipi.it>
- To: undisclosed-recipients:;
- Subject: [Coq-Club] 10 fully-funded Ph.D. positions in Software Quality at IMT School, Lucca, Italy
- Date: Mon, 09 May 2022 17:32:59 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=galletta AT di.unipi.it; spf=None smtp.mailfrom=galletta AT di.unipi.it; spf=None smtp.helo=postmaster AT smtp.unipi.it
- Ironport-data: A9a23:c8/JO6omxdAbQnyi12I1nI0WHhVeBmIKYxIvgKrLsJaIsI4StFCzt garIBmCPP7cZjf2eY0jadmw8x5T7Z6GmtUyS1RrrC01QX9BoOPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHoZqTZMEE/Nszo68wICqtMu0IHR7z+l4 4uo+ZWCYA79glaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurSCWAQgFbOWtN4cDUd/LmYkAoJGyr3IdC3XXcy7lyUqclP3xul2SlwwPJUZvOdraY1M3 aVDcXZUN0zF3bvwme7iIgVvrpxLwM3DM4obvnx80TjxAfdgXJbCW6SM5MMwMDIY3Z0SRayPO ZdxhTxHUBT7bCFMGnwsFYsXpumwiHW4YyZ3kQfAzUYwyzKMllcqjOiF3MDuUteNXIBemluSj nnX+nzwRBAcLt2WjzSfmlqig+7EhgvgSYcKHfu58ORriRud3AQu5AY+Tl6nuaX/l0i/Q9MZK lB8FjcSQbYaxl2oR/LjBTGCoSDamSNbAeV/E98451TYokbL2DqxCm8BRz9HTdUpss4qWDAnv mNlefuyW1SDV5XJFxqgGqeoQSCaZXNKdzVSDcMQZVJdsoW5/unfmzqSFr5e/LiJYsrdOA2YL 9qigS0mgLES5SLg//jjpQ2c695AjqTUVQU84BS/Y45Ixhh8eJb5IZGu6EDaq/dcRGp4crVjl CVa8yR9xLlQZX1oqMBraL9QdF1Oz6zUWAAweXY1Q/EcG82FohZPh7x47jBkP1tOOc0ZYzLva 0K7kVoPucULYSL6MPEoO9vZ5yEWIU7ISIiNuhf8M4omX3SNXF7flM2TTRTPgDizwBhEfV8XZ MbALK5A8kr2+Yw9k2DtHLtNuVPa7is5w3jUX4z60hHv3rOEfhaopUQtbjOzghQCxPrd+G39q o8PX+PXm0Q3eLCvOUH/rN9MRXhUdiJTLc6t9KRqmhurf1AO9JcJUaGBmNvMuuVNwsxoqws/1 izjChIAlAqj1BUq62yiMxheVV8mZr4nxVpTAMDmFQzAN6ELbdn94aEBWYEweLV7puVvweQtF qsJeoOdBPVXS3LG521FP5X6qYVjcjWthB6Pb3D/MGdkIcY4Slyb4MLgcyvu6DIKX3i+usYJq rG90h/WHMgYTAN4AceKMP+ilgvjvXUUlO9ocVHPJ91fJBfl/IRwcnWjgv5xPscNMRSFxyfDj 1SaBhIRpO/spY4p8YmT3/Db9NnxS+YnRxhUBWjW67qyJBL2xGv7zN8SSvuMcBDcSHjwqfera uhixv3hNOEKwQRRuI1mHrc3la8z6oe9p7JeyQg4TnzHY07yUeF7J2Wem9RJt7VMgL5F4FPkV kWK89hcGLOIJMK1SgRBe1F7NryOhaMOhz3fzfUpO0GrtiZ48Y2OXVhWIxTR2jdWK6F4Md99z Op96tQa7Rez1kgjPtqc13wG7GGQNiBGTqMmrpBcAZOy0lgnzVRLYJr9DC7q4cHVMYUTaRdye jLE1rDfg7l8x1bZdythHHfA6uNRmJAStU0Y11QFPVmIxoLIi/JfMMe9Ktjrotm5Dymr0t6f/ kBwMlFtY7iI/i9pwslfN4xp98etGzXBknEdCXNQ/IEac6VsfmDManA7OP6MukEFm46Zkv634 5nAoFsIkl/WkAXZ0ip0REhks/2lTMAZGsguXiy4N5ztIqTWqgYJTkNjiaTkZvcn7Q4MaJX7m NRX
- Ironport-hdrordr: A9a23:IpswHasJPA5N21MS/Ukvtj9g7skDYtV00zEX/kB9WHVpm62j+P xG88506faZslcssRIb9exoWpPwJE80nKQdieJ9AV7IZniEhILHFuFfBMfZsl/d832XzJ846U 6+ScJDNOE=
- Ironport-phdr: A9a23:DBt/ShApEHTYDKPe4JAbUyQU1UgY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua82ygSYFtWEo7Ic0qyK6fqmATRBqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba18I RmsowjcssYajIhgJ60szhfFvmZEd/5ZyG92O16fhQrw6tu18JV+7ylepvUt+tJaX67nZao4V 7tYDDonM2Ax+sLmsATIQBWM6HUBTGgYiwJEDAfZ4h70WJfxqTb6ufFm2CaGJ832TKs7Viqk4 qx2VRLnkiYHNzo+8GHKlsx9ib9QrRy9qxBjxYPffYaaNOd4fqzAfNMaXnZOXsJWVyxaHIyzc pYEA+4OMOpEqoXwoUYFoxmjCgm2HO7gxSNHiHH206Mn3esvEg7H0Rc6EN4SsnTZtsn5Ob0QX O2z0aLGzS/Db/RT2Trl7obHbAwhoe2SUrJqcMrRzlQkGQLfgVWUrYzqIS+V1vgXvGOG6OdgW vigi2ojqw5vvjiv2t0jh5LUiYIU0FzE6CN5wIctJd25UkJ7YMKkHYJWuiqHOIR4XtksTHt0u CYm1LIGo5i7cTAXxZopwxPSduCKfpWV7hzjV+ucLyt1iXFmdb6jhxu/81Stx+n4W8S11FtHs zZJnsfNu30D1xLe6cmKR/Vh8ku93zuEyg7d6uZBIU8ulKrbLYYswr81lpoPtUTDAzP5l1nsg 6OMd0Uk5vCk5PjmYrXguJCTK5V7hhv/MqQynMG0HOc2MhAWUmSG9+mwyafv8VDkTLhFlPE6j LTVvIrHKckUu6K1GxJZ34g+5xqlEjuqzdsVkWMaIF9KZh6LlZblN0/ALf3+EPyxmU6jkC1xy PDDJrDhAovCLnzEkLr5ZrZ97lJcyBIpwdBC4ZJUC6kBIPPpVk/wqNzUFh45MwqqzOb7ENhxy 40TVX+VDqOELa/fvkWE6vwyL+WWeYMYtyvxJ+Ag5/H0jH85nVEdfbOu3ZsScH24Ee5pI0GdY XXyntcBDX0FsxEjQ+zrklGCTDhTZ3eqX6I9/D07CZ6mAZ/FRo+2mLOBxju0HoVKZmBaDVCBC Wnke52eW/gQcCKSPtNhkjscWLe9TI8hzAiiuxP+y7p6NeXZ4TYYtJLm1Nht/eLfjxAy9TpuD 8ScyW6BVW90nnkQSz8swK9/uVB9ykuE0aVgjfxYEN1T6O9SUgohLp7dz+l6C8joVQ7bf9eJT kymQtS8Dj0rQNIx2YxGX0EoBtOujwvI2y2xDrNQjbGABYQ1/6TAxCqidOhnzHOT8KQ9k1Q8Q 8wHGmSigqNj6wGbU4HAl0GUi7qjXagdmjPL9X+Ci2uS6hILGDVsWLnICChMLnDdqs70sx+aJ 1fPIbEuMw8bjNWHNrMPcNriy1NPWPbkPt3aJWO3gWa5QxiSlfuXdIS/XWIb0W3GDVQc1RgJ9 COJPAw6Czu9qkrSDXpzE1P3YgXt7bo2s2u1G2kzyQzCdEh9z/yw8x8Ri+abTqYc17YAtTs9o h14HRCg2dPOCpyBu1kpZ71SNPU65loPzmfFr0p9M5inerhlnUIbeh9rslnGzBBrEsNdl8kyr TUr0GKeMIq+11VMP3Od1JH0YPjML3XquQqoYOjQ003f19Cf/uEO7u45ohPtplPhEE1q6Hhh3 9RPthnUrpzXEAofV47wWUcr5lB7ob/deCw0+4LT0zVlL6C1tjbI399hCvEiz16seNJWMaXME wGXcYVSCMGqLOE2h1GBYhNCIeZT7K9yPt/nP/qK1ai3PfpxySq8hDcP64R830SQsitkH7eTh tBcmq3ehFLBDmul3zLD+ojtlItJZC8fBD+6wCngXstKY7FqOJwMAiGoKtG2wdN3g9jsXWRZ/ RitHQBjuofhdByMYlj6xQAV214QpCntliK8yzFojzgBoqvZwSrP2+WkdQZNaQspDCFyyEzhJ 4S5lYVQU0GsawU1iBKN6Ue82q5avKU5LnWZEiIqN2DmamplVKW3rL+LZcVCvYgpvStgW+O5e VmGS7T5rnP2ygvFGG1TjHA+fjCu4NDimgBizXiaJzB1pWbYfsd5wVHe4sbdTLhfxGhOQi4wk jTRClWmWrvhtdyJi5fOtPy/XGO9R9VSdyfs14aJqCq84yVjHxS+m/m5ntCvHxI91Gf30NxjV COAqxiZAMGj2K2+Ne97YkBACF669sx7AoA4k5dxzJAc1H4Gh4mEqH8OkGP9K9JeisecJDIGQ T8GxcKQ4RCwgRY6aCvQm8SjDzPEnpIyArvyKnkb0S888c1QXaKd7bge2DBwvkL9twXaJ/50g jYaz/Iqrn8cmeAA/gQ3nUD/SvgfG1dVOSv0mlGG9de7+e9YbWKrfKSs3WJynJa8CrCao0ddR DyqH/VqVT819ch5PF/WhTf844XgdcXMZPoft1uJlRbYjq5UNNhi85hCzToiMmX7s3o/zuc9h hE7xpC2sr+MLGB19b64CBpVXtHsT+UU/DylzaNXn8LMmpuqAo0kADIAGp3hUfOvFjsW8/XhL QeHVjMm+D+dHvLEEAmT5V0DzTqHGo23N3yROHgSzMlzDBibKktFhQkIXTI81pcnHwGuzcblf Q93/DcUrlL/rxJNzKpvOXydGi/Hoxy0bz4vVJWFBAFT8hkE+kHUKc3Y7/4yVyBU85u9rRCcf 2yWYwMbaANBEkeABl3lIvyv/YyZqLHeX7PiaaGXJ+zS8L87Nb/A35+k34p48izZM8yOOiMnF Pgnwg9ZWns/Hc3FmjIJQihRliTXbsfdqg3vn08/5s257vnvXxrioIWVDL4He9pm/xS7nbuKH +KRwjt/KC5ZkJIQjyytqvBXzBsJhidieiP4W6wHrjLIRbnMl7V/FBsHc2VuMspQ7uQ9wkMeX KyTwsOw3bl+gPkvDl5DXlG0gcCla/sBJGSlPU/GDkKGXFxjDTHKhdzxYLu9D7xM3r08X/KYt TfdDkniJjXFliW7D3hH0MlXiT2DegFYuZm8NBdxWzCLcQ==
- Ironport-sdr: 3XeC4mPPzd1FosA08Wxeq/jA7ff+l/zCgk0n9tSloBgylgu2ojObAaISSATOQQHzZ40rtohSvX 6ecmjN/pIIUbESnlHxWowGraNPasxchyt4/229npF7ccv9NUwl4DlSlnBqD97UbCurknjg8u0U zuz+qfvCJP9lsAWKTPLAKacO3H8wTOsZtUxgc8US2SQ4l/tX29iNnbK6cU1bz5D36WmDCUIZSE moPW/KT7aY1IV6ESVRVeDmqRZj9gF6L5NcmstELhlyBTbUJ9ve9R8PLFUQy41H5uiVF+VZGuJx XSNQ6oMOHmhH//+GCtcrHoeA
IMT School for Advanced Studies Lucca invites applications for ten fully-funded Ph.D. positions in Software Quality. Working closely together with IMT's SySMA group, successful candidates will be able to pursue research towards methods for analyzing both functional properties, i.e., program correctness, and extra-functional ones such as usability, accessibility, reliability, performance, and security.
We welcome outstanding applicants interested in software quality from several areas of computer science, including formal methods, machine learning, modeling and simulation, program verification, cybersecurity, and software engineering.
The positions are fully funded for three years, with the possibility of a scholarship extension of up to one year. Successful applicants will receive a salary of ca. € 1,300.00 per month. In addition, they will enjoy free full board accommodation at the stunning IMT campus located in the heart of Lucca.
IMT Lucca fosters an international environment. The working language is English.
The application deadline is July 27, 2022. Applications must be submitted through the online form available here. Further information about the Ph.D. program is available here.
Interested candidates are welcome to direct informal inquiries to sysma AT imtlucca.it.
- [Coq-Club] 10 fully-funded Ph.D. positions in Software Quality at IMT School, Lucca, Italy, Letterio Galletta, 05/09/2022
Archive powered by MHonArc 2.6.19+.