Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD Position in Number Theory and Formalization

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD Position in Number Theory and Formalization


Chronological Thread 
  • From: Andrei Popescu <andrei.h.popescu AT gmail.com>
  • To: categories AT mta.ca, cl-isabelle-users AT lists.cam.ac.uk, concurrency AT listserver.tue.nl, coq-club AT inria.fr, dl AT dl.kr.org
  • Subject: [Coq-Club] PhD Position in Number Theory and Formalization
  • Date: Thu, 3 Mar 2022 19:07:49 +0000
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andrei.h.popescu AT gmail.com; spf=Pass smtp.mailfrom=andrei.h.popescu AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk1-f169.google.com
  • Ironport-data: A9a23:uoV3j6BfjK+/9RVW/xblw5YqxClBgxIJ4kV8jS/XYbTApDwk1TNTy DBMDWjXbKmDM2X0KdknbY6+8RgO7Z6AndAyOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6jMlkf5KkYAL+EnkZqTRMFWFw0XqPp8Zj2tQy2YPhWFvX0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYow+5veFPz ucUib3zaiIFZImVvKcHcQYNRkmSPYUekFPGCX22sMjW1k6fNnW1naQoA0YxMokVvO1wBAmi9 9RCcGFLPk3F3bjshuvlG4GAhex7RCXvFIoZtmttzHfZS+4hWZ3YSLji6tpR3TN2jcdLdRrbT 5VENGc/M06ojxtnOFs9FM4Op7mSvUKvfiACiVy0+Ise2j2GpOB2+OG1bIC9lsaxbc5ShwOTo n/M13/oBwkTct2Z0zuMtHy27tIjhgv+UYMWUaS7r7tk2QPCgGMUDxISWB2wpvzRZlOCt8x3E Xw2yxQon/EO1Q+Ia/Wne0Sc42SmoUtJMzZPKNES5AaIw6vSxg+WAGkYUzJMAODKUudmFVTGM XfZz7vU6SxTXK69Ei3Cq+/Fxd+mEW1Ecj9YPH5soR4tuoG7+OkOYgTzosGP+ZNZY/XwEDD0h imJ9W0w3utCy8EM0Kq/8BbMhDfESnn1ouwdtlm/soGNtFsRiGuZi2qAtAmzARFoct7xc7V5l CJY8/VyFchXZX13qASDQf8WAJai7OufPTvXjDZHRsd9qW7xpi77JdsOsFmSwXuF1O5UKVcFh 2eD6WtsCGN7YRNGkIcrOdvqU51ypUQePY28CKGIBjaxXnSBXFbfoHsGib+40Gfqn0wh+ZzTy r/KGftA+U0yUPw9pBLvH7l1+eZymkgWmD2OLbimkEzP+efPPBa9FOZeWHPTP7BRxP3f+239r Y0PX/ZmPj0FD4USlAGModBNRb3LRFBnba3LRzt/LbbSclI7Qzh6U5c8A9oJIuRYokicrc+Ql lnVZ6OS4ACXaaTvJVrYZ3Z9RqnoWJoj/3s3MTZ9b1mt0nknJ42o6f5HJZcweLAm8s1lzOJ1H 6FVIZXeXqwXR2SV4SkZYLn8sJdmK0amiAeICCyvP2oycptmcArW94K2ZQDo7iQPUnG6uJJm8 b2t3w/WW7QZQAFmAJqEYf6j1QLjsn0UmeY0VEzNe4EBdELp+YlsCirwkv5ne5FWeUufnmOXj l/EDw0ZqO/Bp54O3OPI3a3U/Z20F+ZeH1ZBGzaJ4LuzMx7c9DXxzIJFVtGOYmmBBm75/aOVZ dJVwev5B/sJkQsYqIF7Cbtqkfsz6taz9b9XygNoQCfCY1ixUO8yJ3CH2YxWtfQIyOYH6E25X UWA/tQcMrKMYZu3HFkULQsjT+KCyfBExWWIvKpteB33tH1t4b6KcUROJB3Q2iZTG714bdE+y uA7tc9KtgGy1kgwPtCdgnwG/miANCZcAaAut5VfGYyyzwRylAAEbpvbBSv7ppqIbowUYEUtJ zaVgovEhqhdlhWeKSttTSCV0LoPn4kKtTBL0EQGewaDlO3Di6JlxxZW6zk2EllYwxgvPzif4 YS325CZ5Jli/guEQOBGVmGoXhhCXViXoxKgjVQOk2LdQg+jUWmlwKjR/wqS1Bhxzo6eVmEzE HKkJKLNXjPjfcW31Sw3MaKgg+K2VsR/r2Uuh+j+d/lo3PAGjf7NjaqnZG5OoBziaS/0aIsru sEylNtNhWbH2eL8bkH150R2FVjddfxcGFF/fA==
  • Ironport-hdrordr: A9a23:OMtxQ6n+eaLA8jmgvKFt5pe1hW/pDfOximdD5ihNYBxZY6Wkfp +V8cjzhCWftN9OYhodcIi7Sc+9qADnhOdICOgqTMGftWzd1FdAQ7sSibcKrweAJ8SczJ8V6U 4DSdkYNDSYNzET4qjHCWKDYrUdKay8gcWVbJDlvhVQpG9RC51I3kNcMEK2A0d2TA5JCd4SD5 yH/PdKoDKmZDA+ctm7LmNtZZmJm/T70LbdJTIWDR8u7weDyRmy7qThLhSe1hACFxtS3LYZ93 TfmQCR3NTojxj78G6Q64bg1eUYpDLT8KoMOCVKsLlVFtzYsHflWG2mYczDgNl6mpDt1L9gqq i1n/5pBbUJ15qWRBD8nfKl4Xib7B8+r3Dl0lOWmn3lvIjwQy87EdNIgcZDfgLe8FdIhqAI7E tn5RPri3NsN2KzoM093am3azh60k6v5XYym+8aiHJSFYMYdb9KtIQauEdYCo0JEi724J0uVL AGNrCq2N9GNVeBK3zJtGhmx9KhGnw1AxedW0AH/siYySJfknx1x1YRgMYfgnAD/pQgTIQs3Z WxDo140LVVCsMGZ6N0A+kMBcOxF2zWWBrJdHmfJFz2fZt3S04la6SHkYndyNvaBKDglqFC5a gpeGkoylIPRw==
  • Ironport-phdr: A9a23:Dbb9jxdDF48lcjkoexyB1VpllGM+ktfLVj580XLHo4xHfqnrxZn+J kuXvawr0AWTG9yDtbkd0rWempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffRtEiCCgbb9uL Ri6ohjdutQUjIB/Nqs/1xzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0Q rNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6 apgVRjnhjoANz4j7GHYlNF/gr5Frx29phx/25DYa5yROPdxYq/ReNUXTndDUMlMTSxMGoyzY YsBAeQCIOhWsZXyqkASrReiHwSgGP/jxiNKi3LwwKY00/4hEQbD3AE4A98OtmnbrM/rO6cTT Ou71q7IzS3dYPNNxTj99ZXDfxc7rvGKQL1wa9TeyUg1GwPFlFmQsYvlPyuL2eQWr2eb8vFtV e2qi2E9qgFxpiKjydsrionMn48YzE3P+iplzogvP9K4VFJ7bsC+EJtWryyXKZZ7T90sTmxov Cs0xLMItIKncCUU1ZkpxxDSZv2af4WV7RzuVfudLCl5iX57e7+ymRK//EeuxOD8Vse50lRHo yxYmdfCsXAN0gbc6smBSvZl4EehxCyD1wbX6uxCPEs6lrLbJoY/zrIskpcfq0fOEy/slEnok qOaaF8o9vWp5unjZLjtu4WSOJVuig7kN6Qjgsy/Dvo8MggJR2Wb/P6z1Lzn/UHgWbVKjeA6n rDXsJzHJMkWorS1AwBS0oYk5Ba/Cymp3M4EknkAKVJJYBOHj473NFHSOP30E+uzjlC2nDpox /3KJKPtDovTInTZjbvsfLJw51ZZyAUpzNBf45xUCqsGIPL2QkL+rtrYAQIjMwOqwubrEtV92 pkGWWKIGq+WLrjSvkOV5u80LOmMYZUauDf5K/Q/+/Huino5lUcbfaayxZQXcmy3Hux6I0WFZ nrhmsoNHX8QvgUiVOzqlEGCUTlLanmuWKI8/yg3B56iDYfeXY+gm6eB3Se+Hp1OfG9KEFGME XHyd4WFQfgAciySItUy2gADALOoV4Iu0guvuRTSzqZuaOHdvmUTsdfiz9F/6unXmFQv7jFuF OyZ0nqRVCd/l2ZOTjRwwaM76Ud6zFyey7J1hfdJPdhS/O9SXx0kOISa0/F3Tdb2HkrKec7MQ 1K7SP2nByswR5Q/2ZtGb0JVF9HkjQqF2DClUJEPkLneLZo46K/dl0D2P8tmwGuOgKAng0MrQ 41Pc3WhnqNk/BX7CIvAkkHfnKGvI/dPlBXR/XuOmDLd9HpTVxR9BPmdNZh+Tk7frNCio1jHU 6frErM/dA1I1c+FLKJOLNzvl1RPAvn5a5zFe2zkvWC2CF6Tw6+UKpLwcjAU2inHBUlCk0YL+ m6LLgMjLiikqmPaSjdpEAGneFvipNF3s2jzVUoo10ePZkxl2aCy/0scg/CGRvJV3vQcvz8ss D5pNFm41tPSTdGHolkpZ71SNPU65loPzmfFr0p9M5inerhlnUIbeh9rslnG0hx2DsBZkpFvo ip0nUx9LqWX1F4HfDSdtXzpEpvQLGS6vBWmaqqNn0rbzM7T4aAXrvIxt1TkugitUEsk6XRul ddPgTOa4d3RAQweXIiUMA5//gVmp7zcfig25p/FnXxqP66utzbe2tUvTOI7wxekdt1bPeuKD gj3W8EdAsGvLqQtlT3LJloNOuxI+a9yP4W+cOOLw6W2FOlllTOiy29A5cE1006B8TZ9Vv+dx 4wMkJT6lkOMUzbxikvks9iiw9gVI2FPWDDlk269Wt8CA886NZwGAmqvPcCtk9B3hpq2HmVd6 EbmHFQensmgZRuVaVX5mwxWz0Ue53K9yk7ah3R5lS8kqq2H0WnA2ePnIVAOPGJRSWgkjRH0J pC5lNsHdEetZgkt0hCi4AyposoT7LQ6NGTVTUpSKmL/KW14X6r2tvyaZNZC85g1mSpSWeW4J 1udT/SuxnlSmzOmFGxYyjchcjissZishB12hlWWK3NrpWbYc8V9rfvGzOTVXuUZnj8PRS0jz CLSGkD5JN6xu9Odi5bEtOm6EWOnTJxaNyfxn8uMsy6y5GsiBhPa/bj7k9vrCwU7ly+9z95yW D7DsT7zZ4Dq0+KxNucvckRzBVD64tZ3Ackkytp21MxWgyJAwMzLrDIOigKReZ1D1Lj7bWYRS DJD2NPT7AX/mQViIn+P24PlRyCYy8placO9ZzBzuGp15MRLBaGIqb1cyHEt8xzo8ESLO6I7x 2lMmp5MoDYAjuoEuRQg1HCYC7EWRgxDODD00g+P95a4pblWY2Cmdf6x0lB/lJavFuLnwEkUV XDnd5MlBSI14N94NQeG2Xv/8IzlPtmWddULuwafjj/PiuFULNQ6kf9A1k8FcSrt+GYozeI2l 0kk1Je2poWGbWUr5KWhDwVTKxX6YsoS/nfmiqMUzaP0l8i/W55mHDsMRp7hS/mlRSkTufrQP AGLCDQgq32fFOmXDUqF5UxhtX6KD4GzOiTdOiwC1ds7Dkr4RgQXkEUOUT49hJJ8Cg262Jmrb hJi/j5Irl/g9kkXl6QxZkG5CDuA4l/vMGt8SYDDfkQKqFsZvAGMb5TYtqUqTkQ6ttWgtFDfd DLdPlwSSzlPAgveXxjiJuX8u4eGqbTJQLrmaaOJO+3GqPQCBajSg8vzlNI3pXDUcZzfWxsqR /wjhhgcATYgQZmfw3NXDHVJ3yPVM5zC/Ef6o3Io6JD5qLOxAUru/dfdUuQJd4w+p1bux//Eb rD15m4xKC4EhMlUlDmYlf5Ghg5U02Y3KHGsCehS73eTCv+A3PYGVVhDLHoifMpQs/Bmh1cLY 5WKzIivkOY/169QaR8NQ1XlnovBidUiBWa7ORuHAU+KMO/DPjjX24TsZrv6T7RMjeJSvhn2u DCBEkalMC7R3z/uHwuiN+1BlkT5dFRXpZ29fxBxCGPiUMOuaxu1N8VyhCE3xrt8j23DNGoVO zxxO01XqbjY4SRdi/R5U2tPixgtZfGDgDqc5vLEJ4w+tPJqBmFtlLsf7i1kmv1a6yZLQPEzk yzX75Zvr1ygjuiT229nXR5J+VMpzMqAuURvP7mc94EVAy6VukJQqz/KUVJT+Yo2b7+n87pdw dXOiq/pfTJL8taPuNAZG9CRM8WfdnwoLRvuHjfQSgoDVz+ic2/F1Ck/2Lmf8GOYqp8ip93ig p0LH/VSUlAvG/JcCgJ9G8QPO5xqdjwhmL+fysUP4DDtyXuZDNUfpZ3BWv+IVL/3Ly2FiLBfe xYS6bbxLIBWL46inkI7NAg8k4PNFE7dG9tKp2cyC2186FUI+394QGop3kvjYQ74+34fG8m/m Rsugxd/a+AgnN8Dy1gyL1vO4iA3lRto8T0AqT+UeT/1aqy3WNMOY8IVn004M5e+WgUsKAPrw x0iOzDDSLZcybBncDIz4DI=
  • Ironport-sdr: Sje+6DmMjUurKmfDcZ/ZCg4UhWoFWuuHBm5IDlEQoNtajgihYyspsknXZ8emXniODMQA6QmLNH zm3zSyPo9nc7qmun6phm5uyZQfbSp2gL5bbxtNNbzNEKoz67/kFf7bnqVDH9SjX8SUh93oczc7 PYbCPnBtakb5woZicDEI/fWKKMMspk6jOHcpOFGYizdJs2zzAOLjtQPly/vEJEyMaQ/uTVqJJu VZokmNO7nAGP+zrZDf1XV+kWd/vJHspHItnf6IUIyGW/fji8snzz+nCH9iYvxDObdEqnRonLOb 5V01PaKguZUKshvDF+MJzEKp

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


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

Archive powered by MHonArc 2.6.19+.

Top of Page