Skip to Content.
Sympa Menu

ssreflect - [ssreflect] PhD Position in Number Theory and Formalization

Subject: Ssreflect Users Discussion List

List archive

[ssreflect] PhD Position in Number Theory and Formalization


Chronological Thread 
  • From: Andrei Popescu <>
  • To: , "Announcement list for the South of England Regional Programming Language Seminar (S-REPLS)" <>,
  • Subject: [ssreflect] PhD Position in Number Theory and Formalization
  • Date: Thu, 3 Mar 2022 19:16:00 +0000
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
  • Ironport-data: A9a23:ixx8Cq4hcEzYohS9ZJ1+UQxRtAvBchMFZxGqfqrLsTDasY5as4F+v mpNUT+DP/yNNzHxLtggbYqz8UJT6J6GyYdiSwtorHw2Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOK6UYYoAwgpLeNeYH5JZSlLxqho2uaEvfDjW1nX4 Yiq+JWFULOY82cc3lw8u/rrRCxH56yaVAMw5jTSstgW1LN2vyB94KM3fcldHVOgKmVnNrLSq 9L48V2M1jixEyHBpT+Suu2TnkUiGtY+NOUV45Zcc/DKbhNq/kTe3kunXRYRQR8/ttmHozx+4 MtnjbrtTSN3BYrFg/UEAgRyHAFDZLITrdcrIVDn2SCS50jPcn+p2uk3SU9vYtVe9eFwDmVDs /cfLVjhbDjZ37PwkO/9E7c0wJ18dKEHP6tH0p1k5TjfAewrQNbDBb3N/dJD1yoYicVHHPKYb M0cAdZqREudPkMVZA1/5JQWzKD3t0fxSTJih1+PiPYr31XW5i57z+24WDbSUoXSGZ89clyjj nnd5Wn3BhwRKPSE2D+d+zStgPXOlGX1Quov+KaQ8/drhBiK2jVWBkRJDR20pv62jkP4UNVaQ 6AJxsYwhbYYzGr2Sv2jZDqxu2+d7wM2VPptSvJvvWlh1ZHoywqeA2EFSBtIZ9onqNI6SFQWO rmhz4OB6dtH4O39dJ6NyluHhWjtZnVNfAfucQdBHFRVuYCyyG0mpkuXFo4LLUKjsjHi9djNL 92iqSE/g/AKkZdO2fzkpRbIhDWjopWPRQkwjuk2Yo5HxlMiDGJGT9bygbQ+0RqmBNjBJrVml CVV8/VyFMhUUfmweNWlGY3h5o2B6fefKyH7ilVyBZQn/DnF0yf9Id4KvGwufB8ybJZsldrVj Kn76VM5CHh7bCvCUEOLS9/Z5zkCkfK5Toy8Dpg4kPIXO8YgKGdrAx2ClWbJhzy3+KTdua44P piffK6R4YUyWMxaIM6Nb75Fj9cDn3lmrUuKHMyT50n5jNK2OSHNIZ9YYQPmRr1ovMus/l6Om /4BbJvi9vmqeLSnCsUh2dNLdgxiwLlSLcyelvG7gcbYels2QDx6UqSJqV7jEqQ895loei7z1 inVcidlJJDX3BUr8C2GNSJubq3BR5F6oS5pNCAgJwf61H0qYILp56AaLsNlcb4i/e1l7Ph1U /hVI5XaUqoTEmzKq2YHcJ3wjI1+bxD01w+DOiySZjJgLZNtQgr+/MDpI1n0/y4UAyvr7sYz+ uXy1g7STZcZaR5lCcLaNKCmw1+r7CoSnetzWw3DJdwKIBfg941jKirQiP4rIpFUeU+TmGfCj wvPWEUWv+jApYMx4eLlv6Hcotf7CfZ6E2pbA3LfsuS7OCzcyWypnt1NXeOOSjbCDT+m9ainY 9JV+PHyKvgwmlhH7thnGLFxwKNivtbiquMIzglgG3mXPV2nBqk6fiuD1MhL87RRn/pX4FTuH E2I/dZeNPOCP8a8SAwdIw8sb+Ki0/AIm2mNsa5kfh2ivCInrqCaVUhyPgWXjHAPJrVCNo54k /wqv9Qb6lDihxd2YMyKiDtYqzaFInAaCfl1s5gbBMryllNuxAgdOdrTDSj55JzJYNJJaxF4L jiRjavEprJd2kuSLCZpRCaVhbJQ1cYUpRRH7F4ePFDVyNDLsfk6gU9K+jMtQwUJkxhK3oqf4 ISw25GZ+ElPw9tpuCSHd2WlGgUEHQHAv0KolANPm2reQE2lEGfKKQXR/ApLEF8xqwphkvpzp dl0C1oJlR7lecjw2m05XksNRznLU4lq7gOb8Cy4N53tInT5CAYJRoehYGMJr13sBsZZaIgrY wV11L4YVJAX/hL8b0H250d2GFjQpN25yLR+fMxc
  • Ironport-hdrordr: A9a23:aM4R26FbM/tI7ZrmpLqE5ceALOsnbusQ8zAXPiFKOHtom6mj/f xG885rtiMc5AxwZJhCo7G90cu7MBHhHPdOiOF7AV7IZniChILHFvAH0WIg+VHd8u/Fm9K1GZ 0OT0G2MrPNMWQ=
  • Ironport-phdr: A9a23:FZ8rUxBoMbtUThoHt148UyQUh0oY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua83ygaRA86CsqMMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5YPfbx9ViDahYL5+I wi6oRjVu8ILnYZsN6E9xwfTrHBVYepW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ 7NWCjQmKH0169bwtRbfVwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8 rxmQwH0higZKzE58XnXis1ug6JdvBKhvAF0z4rNbI2IKPZyYqbRcNUHTmRDQ8lRTTRMDYy8Y YUBDOQPIPhWoJXmqlsSsRezHxWgCP/zxjJKgHL9wK000/4mEQHDxAEtA9QOv2nOrNrrNacZT Pq7zK7QzTrddPNZxSr945XPfx87p/GDQKhwftTQyUU1FwPJlE2QqYv9PzyLzeQCr3Wb4vFvV eKqkWEnqgVxriKzyccrj4nEn4QYwU3L+itl2og6P8G4SFJlbt6+Fptdrz+XOpZoT84sQ2xlv Cg0xLMatJKnYiUH1ZQpyhDeZvCaboWG7RPuWPuPLDp5mn5oe6yyihK9/EauyuDyVsu53VRMo yFYnNfMsXUN2AbS6siBUvZ94Fqh1SyJ1wDX7OxPPEM6lbLDJpI/3rI9koAfvEfDEyPshUn7j bOael859uWq9+jqZKjtqIWGOI9ukA7+N7wjmsyhDuQ8NQgDR22b9v691L3n5EH5WalKguAvn qnXrZzXJ9gXqrS2Aw9S1YYj5BK/ACm83NsEmnkHKUpJeBOBj4f3J1HDOO70Aeu7jli2kzpmx +rKMqDgD5nRNHTPjbXscapl505Z0gUzzNRf55xOCrEGJfL+QlX+tNrFAR8jLQO0wvzrCNVn2 oMGXmKPGrGWMLjOvl+V/e8vLOyMa5UUuDb5MfQq+/nujXohlV8bZqamxYEXZ2ygHvR6P0WZZ mLhjsoZHWcQogU+VPDqiEGFUTNLfHayRLg86S81CIKiE4jMWpytjaea3Ca7G51WfnpJBkqNE XfubYWEWu0DZDicIs97wXQ4Uu27RpA71A2vsgDS16B8aOHP4WsZ85Tq299k7qjO0xg5sz5sS 4zX+meLSHxylW4NSjkqlKR+ulA1xFCZmbR4jrRjEsFP57tOXE8XM5HYxup2Q+r/VQPGeN6NA G68Rdq8CDQ0T9Q+i/sHZUlgEtqvxivO2iusCqVd14fOPrEM1pmdlTClPNxw03Ld/KsglFIjS 8pLc2StwLN8oUybHJXTnkudmq22XaEHxmvM8n2CxCyPultZWUh+S/brR3caM2LQoc705wv6S KejEr86el9Iz8KYJ6oMapvxik1LX/z+ENvbamO13Wy3AEDblfu3cIP2djBFj23mA08enlVWp C7eXeBfLiKoomaFSSdrCUqqeET0t+93tHK8SEYwiQCMdUxokbSvqVYOnfLJbfQV0/ofvTs57 S1uFQO02d7MBtvGp0x5e71RetggyFhC3GPd8Qd6O8/oNLhs02YXaB8/pEbyz1NyA4REn9Itq SYjygZoJKPe0BVZcCuVxpvtErLSI2j2uhuobv2ewUnQhfCR/KpH8/EksxPjsQWuQ1Il6Gli2 sJJ3mG045zLCE8LTcu0XB9or151oLbVZiR77ITRvZF1GY+ztDKKm9cgBe9+jw2lY88aK6ScU gn7D8wdAcGqbu0sgVmgKBwebqhU8+YvMsWqeuHjuubjNft8nD+gkWVM4ZxsmkOK+S1mT+fU3 pEDi/iG1wqDXj34gR+vqMfy0YxDYDgTGCK4x02GTMZYYKFocIdNCSG2JNW63d5jr5HoUn9cs lWkAhJO2cOkfwaTc02oxRdZhiF16TSsnSq1ySAxkil89PLOmnyThb28LFxeZTYYIQsqxU3hK oW1kd0ACU2hbgxy0QCg+V6/3K9D4qJ2M2jUR05MOSnwNWBrFKWq5d/gK4ZC7o0ltSJPXaGye 1efH/T0pRcA3iKlHy1Gwyg2bDq3kpr8lh1+zmmaKTwgyRiRMdE13hrZ6NHGELRY2DYcSSg+i X/PAUCxJNK01dqRnpbH9Ou5UijyM/8bOTmuxoSGuiyh4GRsChDqhPG/lOrsFg0i2DP63d1nP cnRhC71eZKjl6GzMOY8O1JtGEe58M1iXId3joo3gpgUn3kcnJScu3Qdwy//NtBS2KS2a3RoJ 3ZDytjZ+gXknk0lNnWRypnyS12Sx8JgY5+xZWZe1i8m7s9MAbuZ9/QexXoz8gf+9FyJJ6Eix n8U0p5MoDYCjvsMuRYxwynVGb0UEURCfGTtmxmO89GivfBSbWerf6K30Rkb/5jpB7WDrwdAH XfhL816TGkgs4MmbgqKiSKrueSGMJHKYNketwOZiULFhulRc9cqk+YSwDFgIST7tGEkzOgyi Vpv24u7tc6JMTYInurxDxhGOznyf85W9CvqiPMUl8CaxY2uWJUnAjITUYDjUNqnFTsTsbLsM APEQ1he4j+LXKHSGwOS8hIspnTDCZ2qcXHRPH4BwM5pWTGSIUVehEYfWzBwzftbXki6gcfmd kl+/DUY4FX1/wBNxuxfPB76Sm7DpQ2sZ2R8WN2FIRFR9A0H+1bNPJnU8LdoBy8BtM7EzkTFO imBag9PF21MRkGUGwWpIOy1/deZu+mAWrjlcr2XMO3I87ABEa/Pn87n05M6rWjQcJ/UZT87U aV9gg0aDBUbU4zYg2ldFXJRznqXKZbd/FDmomV2tpztrqqtAl6+o9vXTeMVa40n+gjq0/jZc bfMwn8oc3AAkcpcoB2AgLkHgAxN12c3LWTrSfJY8neTBKPIxv0OV05dMnwscpsOt+Vmh0FMI ZKJ04yukOcp0rhtTQ8CDAKE+InhZNRWcTvlZRWXWQDSbuTAfXqSnIn2ef/uE+QOyrgE8UTh4 3DDVBaydjWby2uzDk7pa7odynrBekQZ4dDYEF4lH2HnSJiOhgSTFthxgHV2xLQ1giiPLmsAK X1ndFsLqLSM7CRei/E5Gmpb73MjI/PW0yCep/LVLJobq54JSmx9iv5a7XImyrBU8DAMRfp7n zHXp8JvpFfum/eGyz5uWh5D4jhRg4fDsUJnMKTfvp5OPBSMtAoK9nmVAg8WqsFND9Tuv+VJ1 oGKmvuscHFN9NXb+cZaDM/RaYqGPHcnLRv1CWvUAQ8CHlvJfSnUg01Qlu3X92XA9MBr7Mix3 sNQEvkCCwRmc5FSQl5oF9EDPpptCzYtkLrAydUN+WL7tx7JAsNTopHAUPuWR/TpMjeQy7deN H5qifv1K5oeMorj1glscF5/yc7DHUbKUNELomt5aRc5u05Q2Hd7R2w3nUnib0n+hR1bXe7xh RMwhgZkNK418yzw5l4sOlfQjC45kU10gMm8xD7IL2a3I6C3UoVbTSHzsgJiV/GzCxYwZgq0k 0t+MT7CTL8ElLpse1dgjwrEsIdOE/pRJUWhSBAVzPCTIf4v1AYEws1I7UBC7OrBT5BlkVlzG XZNh3dJ2gYmdcJsYKKJe/IPwV9XiaaD+CSv07JpqDI=
  • Ironport-sdr: laDLYbIqYJePS7NcnorJZqYt+2dc6ZT+tp76ibsncpigFWKTv92hL6bh1mh9hNJe1iK3Vq/zfB 2Cs6bwTk0vcZUveW9HFWku6qaqLeucH1DWUd6Fdz11ZyTHPeVuSIe8aQpyedWosS2MRIb6WwWb dwcKQ58RTh3y4AgX2H5CL6XcvgOCFjjbs7W8uvTTSK0k7fQ718nNIlIlDz8V7l/U5wV48gHWLX cQ/GicA+DHoCaXG3BwHfVPmhu/ssHJmsejCJKbFkGDK0iMTtP9Vf3pvO3IMYaZuZ9HDVkXTwYt CsD27GjiMf9A5JoqwyAbPyPZ

The Department of Mathematics of Vrije Universiteit Amsterdam welcomes
applications for a fully-funded, 4-year PhD position in Number Theory
and Formalization.

The preferred starting date is in the period 1 May - 1 September 2022.

The candidate will conduct research on Sander Dahmen's NWO-funded
project "Formalizing Diophantine algorithms". This amounts to both
developing and formalizing (with a proof assistant such as Lean or
Coq) number theory necessary for solving Diophantine problems. The
focus will be on effective/algorithmic number theory, but more "pure"
results will (necessarily) also play an important role. We note that
in this project most of the time will likely be spent on actual
formalization work and that the proof assistant to be used will
probably be Lean (but that is open for discussion). The position also
contains a small teaching component.

The research will be embedded in the Algebra and Number Theory group
of the Mathematics Department and in particular connects to the
CAN-endowed chair "Automated verification of mathematical proof" held
by Assia Mahboubi. Within the Faculty of Science there will also be
close collaboration with (Theoretical) Computer Science, especially
the group of Jasmin Blanchette.

Applications from all groups currently under-represented in academic
posts are particularly encouraged. We are working to improve the
present gender balance within the department, and particularly welcome
applications from women.

More details at
https://workingat.vu.nl/ad/phd-position-number-theory-and-formalization/70lg5t


  • [ssreflect] PhD Position in Number Theory and Formalization, Andrei Popescu, 03/03/2022

Archive powered by MHonArc 2.6.19+.

Top of Page