Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Multiple PhD Positions at the University of Melbourne

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Multiple PhD Positions at the University of Melbourne


Chronological Thread 
  • From: Cezary Kaliszyk <cezarykaliszyk AT gmail.com>
  • To: cl-isabelle-users AT lists.cam.ac.uk, coq-club AT inria.fr, mizar-forum AT mizar.uwb.edu.pl, hol-info AT lists.sourceforge.net, members AT cicm-conference.org
  • Subject: [Coq-Club] Multiple PhD Positions at the University of Melbourne
  • Date: Fri, 25 Apr 2025 17:04:05 +1000
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cezarykaliszyk AT gmail.com; spf=Pass smtp.mailfrom=cezarykaliszyk AT gmail.com; spf=None smtp.helo=postmaster AT mail-pg1-f176.google.com
  • Ironport-data: A9a23:dvpGCaxPJ2TqpHg7Kgl6t+eCwirEfRIJ4+MujC+fZmUNrF6WrkVWy GBMCGCDOf+DMWv3e4x+Otjj/UNSsJGGy9FjHFc5rVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmMc3l48sfrZ9Usz5qmq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPv7/JNVE4SNrQh8/tnX2Ru6 qwqcwsSO0Xra+KemNpXS8Fpj8UnadHkZcYR4y4+iz7eCvkiTNbIRKCiCd1whm9hwJATW6yHO oxANmQHgBfoO3WjPn8cBYA3hvarj33+aC9Jq3qaoKM25y7YywkZPL3FaoOEIYzQH54O9qqej m/b1mTAUjNdDofc7TDa8C7816jkkjyuDer+E5Xjq6cy3wzNroAJMzUdUkL+qv2kgGalStdHI goV/DAvpO487iSWosLVWhS5pDucsUdZVYMPTas17waCzqeS6AGcboQZctJfQN8Ks+xuShgh7 2aAgsO3ABxw4I/Ocm3Io994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHoYL/Emd3o2dJN3g/ w1muhTSkFn6sCLm/6Cy/FSCmz3145aQEVBz6QLQUWaoqAh+YeZJhrBEC3CLsJ6sz67DFjFtW UTofeDAtYji6rnTzESwrB0lRu3B2hp8GGS0baRTN5cg7S+x3HWoYJpd5jpzTG8wbZpZJGa4P RCN4VsLjHO2AJdMRf8nC25WI5R6pZUM6fy/CZg4k/IXMsguLFDXoEmCm2bLhj2wzBVEfV4D1 WezKpv1VSlLV8yLPRK5QOAS1bJjxyY1gwvuqWPTnnyaPU6lTCfNE98taQPeBshgtf/siFuPr 753aZDRoz0BC72WX8Ui2ddNRbz8BSFkXciuwyGWH8bfSjdb9JYJUKCOm+t4KtY9w8y4VI7gp xmAZ6OR83Kn7VWvFOlAQik4AF82dc8n9i5pDj9mJluyxXkobKCm6apVJdN9fqAq+KYnhbR4R uUMMZfISPleaCX1yxJEZ7nEratmaEuKgyCKNHGbezQRRcNraDHI3d7GRTHR0hcyIBC5juYEm I345DjnGcICYy9AEPfpbOmeygLtnHoFx8N3cUj6AvhSX0TO9oJVBTT7paI1KZtUKDHo5DiT5 yCJCzg2+MjPpI4U9oHSpKam9o2GLcp3LnB4LUL6s4mkFHD91XWx5KN9S8C0RCD5eEKo3bS9d MNX4urZMvZarG1VsoF5Laln/Zg+6/TrubVe6AZuR1fPUHiGFZJiJWugz+BUl6gQ2IJchxS6a niP9vZeJ7+NHsHvS3wVBQg9a9W8xeMmoSbT4ds1MXfFyndOppTfanprPj6IlCB5B5l2Otl8w e4e5egn2zbmgR8uatu7niRY8lqXFUM5UoIli4o7BbH6gQ9623BAZp3hUhXN2q+tUOkVEEcWI W6zvpHg1pB83UvJdkQhGUfdhdR9gYs8gzEU7VsgCWnQpP/7qK4W5iBByRU2UQVf8Ttf2c1RJ GVAFhN4NIeOzRhSlelBWGGmJC9ZDjbA5X7j5kc7lkCCaUj1UGaXfWs3FtuQzRpI70NdYTlp0 7WKw0n1UTvRXZ/Q3wljfWVHuvDcXdhK2Qmao/+eHuOBBIsfTQv+pK2ldU4kikLAL5sqpUvlo eJKwr5BWZfjP3RNn5xhWpio67sAbTulekpAeKhF14EUFzj+fDqS52C/G3qpcJkQG82QoF6KM O0wFMdhTB/k6T2vqAocDqsyI7NZuv4lyd4BW7HzL149rLqtgWt1ga3U6xTBqjcnc/d2neY5D 7HhRTaIP2iTpHlTwkvmjs1PPEimatglOiz4+s2I89syKpFSi9E0LHkO0Ya1sU6Fbyph3Raf5 z3Ya4HskudN9IVLnqnXKJtlOTmaE93Jabm3wFiBiOgWNdLrGuXShjwRsWjiblh3P6NOetFZl oatkd/Q3WHDtokYS2ryxpuLTfFIwe6QX+NnFN39A1cHvCmFWe7quwAi/ULhI7N3sdpt3OuVb CrmV9mRLPk+RMV46EBOTRRnAzIxKvjSf7jxgyGQtNGOAUUt6hPGJ9aZ6nPZV2FXWSsWMZnYC AWvmfKRyv1HjYZLFjkWLupHBsJmHVrdRqcWTd39mj2GBG2OgFnZmL/DlwIl2A7bGEu/D8f2z pLUdCfQLC3olvnz8+hYlIhusjk8LnV327Awd31A3e9GsWmxCWpeINkNNZkDNIpvrRXz85PFf xDIUnopDHTsfDZDcCik2u/ZYCWkOrUsNOv6dxsTxGHFWxfuUcnESPFk+zx76nh7Rir7wav1Y ZsC83n3JV6qzosvWe8X4eehjPx6wu/BgEgF4l35j9e4FiN27W/mD5C9NFElue37/8DxeIHjI GE0QSVcTxj+RxeuT4BvfHlaHBxftzTqp9ntgeFj3/6H07h3DsUZoBE8Bw03+rIGZcUOYrUJQ BsbgkOTtnuO1CV7VbQB4roUbGwdNR5PNse/Ja7nAwYVmslcL4jh09wqxUIycS3pxOKT/54xW NVhD7jSyXlp8Hxs5YA=
  • Ironport-hdrordr: A9a23:qewW6qnk9+UXn9xwt3w/b7qaa73pDfLk3DAbv31ZSRFFG/Fw9v re5MjzsCWftN9/YgBEpTntAtjjfZq+z+8X3WByB8bEYOCOggLBR72KhrGSpQEIdReOj9J15O NOdbNhAMb8AVU/ocHx+xmgDtosqePqzImYwcnbi1hgRRx3cK17hj0JbjqzIwlZQE1pC/MCeq Z0JfApm9NjQxkqhwiAZ0XtltKim+H2
  • Ironport-phdr: A9a23:q/4VmR/TgESNff9uWd21ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Z gqHvb430QaXDc3y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pDdfQlEniaxba99I BmorQjdq8gbjIh/Iast1xXFpWdFdOtRyW50P1yfmAry6Nmt95B56SRQvPwh989EUarkeqkzU KJVAjc7PW0r/cPnrRbMQxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/7 6d3TRLjlSkKOyIl/GzRl8d/i79VoA+6pxxn3YHbfJ2VOvR5fqPYZ9waRGxBVdtVWyFOBo6wa o0CBPcDM+lFtYnwv1QBoxuwCwevGe3h1CNHi2Tq3aEmyektDR3K0BAiEt8IrX/arM/1NKAXU e2t0qTH0zTCYOlM2Tb99YPGdwouofWNXbJrcMvQyUovHB7Cg1qMt4PkPima1v4NsmiY9eVgU eOvi3UmqgBxoTii3cgsiozTiYIUzlDI7zl2wIEwJdChTkNwfNGrHodKuS6AK4t2Xt0tQ3tuu Csi17ALuYK3cSgKxpkjwxPRZP6KfoaV7h/hSuqdPDd2iXF4db6imhu/8katx+/9W8S7zltGs C5In8XCuH0N2RHe6c6KQeZz8Eem3DaAzQHT6udcLEApk6rbKpshzaA0lpUIq0jMADL5mFjsg KCMa0Uo4ueo6+X7YrXmu5+TLJV4igD5Mqkoh8exAvw4PxAQU2SH/emwzr7u8E3jTLlUk/E7k rPVvI3YKMkaoKOyHhFY0oI+6xakEzepzs4Yk2QGLFNEZh2Kl5TlNlfTK/7iF/i/mU6jkDJzy vDGILLhBpLNI2DGkLj7fLZ971dQyBI8zdxC/p5UBKwNLfDyV0Pru9zYCRg5MwOww+n5Etlyy oQeWWeXDq+YNqPdr0OI6/oxL+WQYIIZojXwJvg/6/LwkHM0mUURcbSr0JYWcHy4G+5pI0SdY XrimNcBFmIKsxIiQ+P0iVyNSyRTZnaxX60m4jE7CZmmDIbDR4Cum7GB0yK7EYdXZmBCEFyDD XDod4CcV/cKcy2dOtVhnSAcVbi9V48h0gmjuBLix7p9MuXU4jEYtY7k1NVt++LTkggy+SVoA MSZzmGCVHp5nngIRj8zxKBwu1ZxylaF0ahigvxXD8Zf5/1TUlRyCZmJxOg/Csv7UA/FetrMV U2rWM6OBTAqUsl3yNYLJU92XcihyljI2DPvCLsInZSKAoY1++TSxTy5IsdvwmyD2q47klwOR 8pdPHfgm7F1sQXfGsjRlwHRl6GuMKUa0inl8GaY0XHIp0ZFSgV9X6LfUn1ZYEbK6Zz860bIQ qW1Ib8mOQ4EwsmEJKZQZ9vigBNBXviwFs7ZZjealnW5HwfA5bqIbZH4amZViC7QGkEeggMa+ XedJxk9LiikqmPaSjdpEAS8MAvX7eBipSbjHQcPxAaQYhg9htJdmzYQjP2YEbYI264c/T0mo HNyFUq82NTfD5yBoRBgdeNSe4B1+09JgETesQE1JZm8N+Z6nFdLeAlltln/1BxzC55SgMsCo 3YjzQ40IqWdgxtabz3N5ZnrIfXML3XquhWmaqrYwFbbhd2b6K4V+fcxr1T4rhCqPkUn+nRjl dJS1ijU/Y3EWSwVV5+5SUMr7156qrXdNzE6/J/R3GZwPLOctzbD35cxC7JgxE//IZFQN6SLE AK0GMofbyS3AMotnVXhLhcNPeQIsbUxI9vjbfyNnqiiIOdnmjuiy2VB+oF0lEyWpWJ6TabT0 pAJzuv9vEPPXirgjFqnrsH8mJxVLTAUEG2lzCH4BYlXLqRsdIcPAG2qLoW53NJ7z5LqXndZ8 hakCTZkkIeidAibdU3+1AlRzlYGolSonCK5y3p/lDRo5quT0SrSwvjzIQIdMz0uJiEqhlPtL I6oytECCRLwPk55yV3/vBu8nvcF98EdZyHJTExFfjb7NTRnW6q07P+ZZtJXrYkvumNRWfi9Z laTTvj8pQEb2mXtBTg7pnhzeje0t5H+hxE/hniaKSM5p3fLcNthxh7b5cfOVP150T8PRS0+g j7STAvZXZHh7ZCPmpHPv/rrHWmsRJRJYCriyYKbpjq4zWJvCBy72fu0n5e0dGpymT++3N5sW yLSqR/6aYS+zKW2P9VseUxwDUP94c53cm1nurM5n4pYmX0Th5HPuGECjX+2K9JQn6T3cHsKQ zcPhd/T+gnsnkN5fDqFwIfwV3PVxcUEBZHyaW4E0zgs7MlOCbyG/b9ski58o17+pgXUKfRwh TYSz/Iy5WVS2blY/lpwiH/EX/ZLQhcQNDeJ9VzA992kqaRLeGujOaO90kZzh5HpDb2PpB1dR Gesf54jGSFq6cAsVTCEmHb364ziZJzRdYdJ7kzSw0qG1bEIbstuyKlv52IvI2/2sHw7xvRui BVv2cv/p42bMyB3+6n/BBdENzrzbsdV+zf3jK8YkNzFuuLnVphnBDgPW4PlCPyyFzdH///qJ Q+UAT41rnaAC6vcNQCa4UZi6XnIFtr4UhPfbGlc1thkSBSHcQZUjRIdRiQ5l5o4DRK7x+Tud U544nYa4Vuy+X4ugqp4chL4VGnYvgKhbDw5HYOeIBRh5QZH/07JMMaa47E7D2RC85amtgDIN n2DalECEzQSQkLdTQOGXPHm9Zza/uOfHOb7M/befeDEt7lFT/nRjZO3jtk9onDVZ53JZCU9S aV8gBYLXGglSZqF3W9UEGpOyXqLN4nC9XLesmV2tpztrqqtAVq1o9PJU/wIaZ1u40zk3/nFb bLBwnYhb24fjMtExGeUmudFmgdOzXg/LX/1Vu1Q0EyFBKPIxv0IU1hCMX41bI0QqPtilghVZ ZyC0oOzj+EnyK5zUxAfDBTggp37PJNRZTjsaBWfQh7MberjR3WDwtmrM/nkGPsA0aMN7U324 XHCTAfiJmjRzWC3EU3/d7gd1mfDe0UP8IClLkQ3UDalFom3LEbhdocw1GxTo/V8kHrOMSR03 SFUVURLo/XQ6CpZhq86AGld9j9/KuLCnS+F7u7eI5JQsP1xAy0ymfgIqHI9g6BY6i1JXpkX0 GPbs8Jurle6k+KO1isvURxArSxOjZ6KukMqMLvQ951JU3LJtBwX6mDYBxMPrtpjQtrh3sIYg sDIj772ISxe/sj8+MIdA43MJ5vCPiN+b1zmHznbCAZDRjmudCnei0FbjPCO5yiVo5w9+f2O0 NIFTr5WUkBwF+tPUBw0WoxfZs0uA3V9zuDI6axArWCzpxTQWshA65XOV/bIRO7qNC7cl75PI R0B3bL/K40XcIz9wU1rLFdgz+GoUwLdW85Apip5Y0o6ukJIpTJ1Q386wVPmYwes+20CFta7m xc3jk11ZuFnp1KOqx8nY0HHoic9ihx7gdL+nTWYayL8No+1VIBSTjL77g0/a8ylBQlyagK2k ApvMzKOFNczx/NwMGtsjgHbo55GH/VRGLZFbBEnzvaSf/w00F5Yp01PJGdC7OrBTINtzU4kK MHy6X1H3A1nYZg+IqmCfMKhK3Bfg6uPummj0eVjmGf2yG4C9WqTfGgDv0lab9Eb
  • Ironport-sdr: 680b33f3_DvBbEyG1L4VWWQZn3uMd6dcbNqLfOpPHt6A1MdJd5XKx7SZ LerZ3P21Im11iH1+KTDozefPl0HdUyKNIi6GzNQ==

We invite candidates for multiple PhD student positions
(graduate researchers) to start in 2025 in Melbourne.
The research group focuses on automated reasoning, formal
proof, and learning-assisted proof guidance and advice.

A background in formal proof, machine learning, or automated
reasoning is an advantage. Candidates for a PhD position must
hold a MSc or BSc with Honors in computer science or mathematics.

Please contact Cezary Kaliszyk (ckaliszyk AT unimelb.edu.au).

The city of Melbourne, consistently ranked as one of the world's most
livable cities, is nicely located along the Yarra River and the
beautiful coastline of Port Phillip Bay. The combination of urban
culture and accessible natural landscapes, from pristine beaches to
scenic parks, offers an exceptional quality of life. The University of
Melbourne is renowned for its academic excellence and is regularly
ranked as one of the best in the world.

For more information about the PhD positions see:
*
https://study.unimelb.edu.au/find/courses/graduate/doctor-of-philosophy-engineering-and-it/
* https://study.unimelb.edu.au/how-to-apply/graduate-research

More information about the research topics see:
* https://ckaliszyk.github.io/
* https://findanexpert.unimelb.edu.au/profile/1063018-cezary-kaliszyk


  • [Coq-Club] Multiple PhD Positions at the University of Melbourne, Cezary Kaliszyk, 04/25/2025

Archive powered by MHonArc 2.6.19+.

Top of Page