coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Postdoctoral Researcher Position in Formalization of Algorithms in Proof Assistants, University of Bergen, Norway (Deadline: June 30)
Chronological Thread
- From: Mateus de Oliveira Oliveira <mateus.oliveira AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Postdoctoral Researcher Position in Formalization of Algorithms in Proof Assistants, University of Bergen, Norway (Deadline: June 30)
- Date: Wed, 25 May 2022 10:20:26 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mateus.oliveira AT gmail.com; spf=Pass smtp.mailfrom=mateus.oliveira AT gmail.com; spf=None smtp.helo=postmaster AT mail-ej1-f49.google.com
- Ironport-data: A9a23:Eyhq9KMlvAz0aervrR2XkcFynXyQoLVcMsEvi/4bfWQNrUohgjEHz moeXGHUb/jcMTbyfIgkPYi/pB4B6MTSzNUxS3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8kk/vgqoPUUIYoAAgoLeNfYHpn2EsLd9IR2NYy24DkWV7V4 LsenuWGULOb824sWo4rw/nbwP9flKyaVOQw4zTSzdgS1LPvvyF94KA3fcldHFOkKmVgJdNWc s6YpF2PEsw1yD92Yj+tuu6TnkTn2dc+NyDW4pZdc/DKbhSvOkXe345jXMfwZ3u7hB2NnoxD9 c5wkKegaiwSBrD+hMlAWSlXRnQW0a1uoNcrIFC6uM2XikDEKj7in6QoA0YxMokVvO1wBAmi9 9RCcGFLPk3F3bvmhu7qIgVvrpxLwM3DOYoDt2x7izbdDOgrQIrKa6rP7N5cmjw3g6iiGN6FN 5JANGQ/PHwsZTVga206K8w+tt6Eg1LSfz1cml2MpbMOtj27IAtZieCxarI5YOeiTsJM202cu 2ju5HX8GhhcNdqFyDPD/GjEuwPUtSbyWYZXGb/hs/A20RucwWscDBBQXly+yRWktqKgc9Zed 34p4RcLlrgR33eTU+vhckCykHHR63bwROFsO+E97QiMzI/d7ACYGnUIQ1Z9hDoO5J5eqdsCh g/hoj/5OdB8mObKFi/Fp994uRv3aHdFdzZTDcMRZVJdu4GLnW0lsv7Yoj9e/EOdi9T0HXT9w WnPonRvwboUisEP2uOw+lWvb9OQSnrhHlFdCub/BDrNAuZFiGiNOdLABb/zs6goEWphZgPd1 EXoYuDHhAz0MbmDlTaWXMIGF6yz6vCOPVX02AAyRMV4qGz3pS78IOi8BQ2Swm85Y67onhe5M CfuVf95ufe/wVPxMPMqOtrvYyjU5fmwTYmNug/ogipmO8AtLmdrDQlhYkmf222FraTfufBXB HtvSu71VSxyIf0/klKeHr5BuZd2mH1W7T6MHfjTkkX/uZLDNSX9YepUYDOmMLplhIva+1692 4gEZ6O3J+B3CrKWjt//qt5Nczjn7BETWfjLliCgXrXfe1E5Rjp+UKS5LHFIU9UNopm5X9zgp hmVMnK0AnKm7ZEeAQnVOH1ldp31WpNz8SAyMSA2bASn3nEiZcCk66JGL8k7erwu9epCy/9oT qldK5/QXKgXEjmXqS4AaZTdrZB5cEv5iA+LOR2jamdtcpNlQTvP5dK5LBDk8zMDD3bsuMZn+ ++g2wrXTIAtXQNnCMqKOvujw0ng73cYkeN2GUDPJ4ALKknr9YFrLQ33j+M2c5lcc0WdmmPC2 l/PUxkCpOTLr4sky/XzhPiJ/9WzDu9zPktGBG2Ev7u7MC/t+GD8k4JNVeC/ey+ECDH59aCkU uViz//mNcoBklsX4ZF3FKxmzP5n6tbi++1awwBjECmZZlinEOk7cHyP3M0Ku68Ug7EF6E25X UWA/tQcMrKMYZu3HFkULQsjT+KCyfBExWWIvKpteB33tH1t4b6KcUROJB3Q2iZTG714bdE+y uA7tc9KtgGy1kgwPtCdgnwG/miANCZbAaAut5VfDY2yzwR3mxdNZpvTDiKw65aKMo0ePk4vK z6SpazDm7UMmRaYIiRrTSDAjbhHmJADmBFW11tedV6HrdzI260s1xpL/DVrEwlYw32rCQ6o1 rSH6qG0GUmPw9usrM1KXmTpFgMYQRPFqwr+zFwGkGCfRE6tPoAIwKvRJs7VlH31MUoFFtSYw F1c4GngWDfuOsr220PenGZ7/uf7Q4UZGhLqwaia8gfsI3X+STXgi66qI2EPrnMLxC/3aFLv/ YFXwQq7VUE32eP8bUH250l2GIn8kCy5GVE=
- Ironport-hdrordr: A9a23:e9ygMK3u0vaCzCQVR/o9KQqjBL8kLtp133Aq2lEZdPU1SL3+qy nKpp4mPHDP+VUssR0b+exoW5PgfZq/z+8W3WB5B97LNzUO01HYSb2Kg7GSpwEI2BeTygee78 pdmmRFZ+EYxGIVsfrH
- Ironport-phdr: A9a23:OkJM5x32Ta46zNo+smDOIA4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaEo6owxweQFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoV J8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9q52uyo+ZDeYwpEiCagbbhvM Bi4sALdu9UMj4B/MKgx0BzJonVJe+RS22xlIE+Ykgj/6Mmt4pNt6jxctP09+cFOV6X6ZLk4Q qdDDDs6KWA15dbkugfFQACS+3YTSGQWkh5PAwjY8BH3W4r6vyXmuuZh3iSRIMv7Rq02Vzu/9 admUBDnhicJOTA67W/ZlNB/gblBrx69vRFy2ZLYbJ2XOfd4Y6jTfckaRW1EXstJUCJOGJ+8Y JUSD+oaIO1XspfyrEYXoxu6BAmsGv3gyj5ShnDswKY0yuAhEQDY3AM+HtIOqm7bp8jyOacXS ++10LfHzSjYb/9M3jf97InIcg4/rvGNR7J/a9HcyUYqFwzfj1WQrZbpMC+S1uQIqmWW6fdrW u2zhWA9sQ5xviSvydk2ionPno8YxVHJ+yp6zYooK9O0VlJ3bMKqHpZetiyUN4R4TMwiTm9nu Ss216MLt5C7ciUKxpor2xrSZfOHfoWG/h7uSeacLDFlj3xrf7K/ggy98UmmyuDkVMm0101Fo TFDktnLrHAN2ALc5tKBSvt65kuuwyuP1xzU6uFcO0A0krTbK58nwr4/jJYTtl7DHiDwlU7rj 6GWbl0p9va05+njeLnrpZ+RO5Vqhg3jMakigMOyDOA+PwMTRWaU4/6826fm/UDhQLVFkPk2k q7BvZDfP8sbp6q5DxZL3YYh9hqzFjmm3dsckHUdI1JFfxWHj4ftO17QOvz3EfC/g1G0nDdqw fDJIKHhD43TInTflLrtZ7Vw5k5GxAYt0NxS5IhYB74FLf7rX0/+rt3YDhs3MwyuxObnDc1w1 oYEVmKTHKCZLbjSvUWP5uIrIumMepEauDfnK/c//PPugno5lkUcfamtx5cYdHe4HvF+L0Wfe nXjms0BHnsSvgoiUOzqj0WPXSNLa3aoQ608/i07CJ6hDYrbWo+th6WB0D6nEZ1Se2BJEUuBE WzodoWBQ/cDcjieIs5nkjweVLiuUZUt1R+0tFyy970yJe3NvyYcqJjL1d5v5uSVmwth2yZzC pG42n2AUno8km5AYDs3wq1+u0U17VOCz6V5mfUQQdla+/5USUE9MZ/Cwu1gAvj9XwvAepGCT 1PwEYbuOi04Ut9km4xGWE16Adj31ngrvgKvCr4RzfmQAYAst7jb1D73Ltp8zHDP0O8giUMnS 41BLz7unbZxoi7UAYOBiECFj+Cyb61J2SfR+XqYi22KvV9VURR5earAVHEbIEDRqIex/VvMG oenEq9vKQ5d0YiHI6pOZMfuiABDTevuJc+YZGawhWqxHx+gybaFbY6scGIYj23GEEZRtQcV8 D6dMBQmQCesp2WLFDt1CVfmeF/h68F7oXK/C0I2lkSEMxwn2L2y9RoYw/ebTpv/x5oivyEs4 3VxFVe5hZfNDsaY4hBmd+NaaM8851FO0STYsRZ8N9quNfIqgFlWaAlxs070snc/Qoxdjcgnq m8rxwtuOOqZ1l1GbTaRwZH3PPXeNGDz+Bmlb6Oe1EvZ1Z6a/aIG6fJwrFuG3knhE0M+/mh8l d5R0mWR54/DJAUXWJP1FE0w8lkypr3XZDU8+5KBzWdlYszW+nfJ39MkAvdgyw71JY8OdvPZU lWrQ4tGVpvLSqRigVWiYxMaMfoH8ac1O5njbP6awOuxO+0mmju6jGNB6YQ700SW9iM6RPSbu vRNi/yewAaDUC/xyVm7tcWi04VNeTwPBSy4zSn6CY9Lb4V9eI8KDSGlJMj9lbAcz9b9HmVV8 lKuHQZM3ca1dAeJKVv53BNd1F4eiXOikCq8iTdzlnt6y8jXlDyLyOPkeh0dP2dNT2Q3llbgL 7+/iNUCVVSpZQwk/Pe8zX7z3LMT5KF2Lm2JBFxNYzCzNWZpFK25qruFZcdLrpIuqyReFuqmM xiWTbv0oh1S1C2GfSMWwTkneiyx/JL9ngJ3iXiUBHl2pXvdP8p3wF/T6cfdSvhYwjcdDHMg2 H+HWx7mZonvoYTcnoym0Kj2T2+7U5xPbSTnhZiNsie2/ywiABGymeyyhsyyFAE71SHh0Nw5H S7MrRv6fszqz/HgabMhLhQuXgasrZYrSeQc2sMqiZod2GYXnMCQ9HsDyyLoNMlDnLj5ZzwLT CIKxNjc5E7k3ldiJzSH3dGcND3Vz81/at29em5T1Dg66pUADa6I4aFf2yxxo0S1rBjYSfd4l zYZj/Ap7TRJ5oNB8Bpo1SibDr0ISANdNDDhig/O6NS/sqhWfm+Hfr251U44ltekRuLnwEkUS DPyfZEsGjV158N0PQfX0XH93YrjfcHZcdMZshDH2weFleVeL4g90+YbnScyc3yopmUrkqRo6 H4mlYH/poWMLH9hub60EgINfCOgfNsdo3nslfoMxZvQhtH3WM89RXNTG8G0BfOwTGBM6bK9b F3ISWNk7C/cQOu6f0fX6V86/SyRVcnzbTfPYiFel40qRQHBdhIBxlpIDXNqxthhUVryjM35L BUmvHZIuhih+0EKkqUxZ3ydGi/evFv6NWtyEcLCakIQtkYbuQ/UKZDMt7ojWXgHodvx6lTKc DXTZhwUXzhWAQrdVgylZv/2ooCelorQTuumc6mUOeTI+bEYDq3Yg8roi9Qu/i7QZJ/WYD8/X 7tiixAFBTcgSozYg2ldEXVJ0XiWPojA/lHkvXQmy6L3uOLiXAaljWeWI51VN9gnuxW/gKPZc vWVmD48MzFTkJUF2X7PzrEbml8UkSBnMTe3Q/wGsmbWQaTcl7UybVZTYj5vNMZO86M33xVcc c/dhNTv07dkj/kzQ15bXF3lk8utaIQEOWa4fF/AAU+KMvyBK1ipi4nvZrigTLRLkOhOnxi5u DLeHk26ezrfxn/mUBegNewKhyaefVRftIy7bhdxGD3jQdbhOXjZeJd8iTw7x6Fxh2ufbzZNd 2ghNRkU/vvMvHA94L03AWFK43t7IPPRni+Y67OdMZMKqb5xBS8yketG4XM8wr8T7SdeRfUzl jGBy7wm61ygjOSLzSJqFRRUrTMezoeCoUh/IuPe8pheVHfe9ToC6GyRD1IBoN4vWbiN8+hAj 8PCkq7+MmII69XP4c4VHNTZMuqCOXsldBfrQXvaUFpDQjmsOmXSwUdalbvBkx/d5oh/oZ/ql p0UT7ZdX1FgDfIWBHNuG9kaKYt2VDcp+VZ+pMEN7Hu66hLWQZcC1ngmfvebAPGqJTTAyLcYN l0HxrT3KYlVPYr+iRQKgrZSk4HDGk6WVtdI8HQJUw==
- Ironport-sdr: V+RuwFtrOVtBqNXech8XRAfzZw/MVYU5cLD6ljOxz/OHt2nsKZn5NWzSxU3FrGatKbrszMHBvk f/Ga0qyEn6mQYjIyIM/ac3UZNROr+q1cy9OqLYiaeN/yc7Fj/Fqz7S0+RODLGZ0FZR2P4gWwlL jACX0MjeYcFW3z1d+w/fQ8ZcxPw0pQ/dGMtYl6Jm/1Po95PIB3KmUHaSiX+h2zk8gFMwWL7rcR Tc4outF0+UanZiIYEFDoah9BX7eNEHg4dksUuNQnZlQKbUxi0yKFBsMEAC245YtCI0Swv3Atv8 DR8EisV5hRVXV/Q5jMlHHMDN
Dear all,
the Department of Informatics at the University of Bergen (Norway) has an open postdoctoral researcher position in the formalization of algorithms in proof assistants. This position is connected to the project SYMBOALGO - Symbolic Algorithms.
The main goal of the project SYMBOALGO is the development of algorithms
that operate on symbolic representations of combinatorial objects. As a
researcher in the project, you will be working in the formalization of combinatorial constructions in the Coq proof assistant, and with the
implementation of formally verified algorithms for combinatorial
problems. Documented ability
in formalizing mathematical constructions or algorithms in Coq is the
main requirement for this position. Genuine interest and proficiency in some subfield of discrete
mathematics, such as combinatorics, graph theory, etc, are an advantage.
This is a 2-year position.The gross annual salary is 563.900 NOK (approx 55.000 EUR per year). As a formal requirement, you should have a PhD in Computer Science, Mathematics, or related area,
or have submitted your thesis by the application deadline (June 30). We encourage women to apply.
Please feel free to send me an email if you have any questions about the position (mateus.oliveira AT uib.no). All applications arriving by the deadline (June 30) will be given full consideration. We encourage you to apply as soon as possible though, given that this may speed up the organization of the selection process.
The official announcement for the position, and instructions on how to apply can be found at:
Best Regards,
Mateus
--------------------------------------------------------------------
Mateus de Oliveira Oliveira
Researcher
Department of Informatics - University of Bergen
- [Coq-Club] Postdoctoral Researcher Position in Formalization of Algorithms in Proof Assistants, University of Bergen, Norway (Deadline: June 30), Mateus de Oliveira Oliveira, 05/25/2022
Archive powered by MHonArc 2.6.19+.