coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Fwd: 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] Fwd: Postdoctoral Researcher Position in Formalization of Algorithms in Proof Assistants, University of Bergen, Norway (Deadline: June 30)
- Date: Thu, 2 Jun 2022 13:22:15 +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-oa1-f43.google.com
- Ironport-data: A9a23:mbnBAaK1Zu6GluxyFE+R+ZMlxSXFcZb7ZxGr2PjKsXjdYENS3zUGx zAXCmiOPfeONmanfooiaoqx9EpUsMTSxodrQFcd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefSLlbFILas1hpZHGeIcw98z0M68wIFqtQw24LhXVvX4 YqaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhrd99y clrn8eJdxojHPWWs/k5YSBiKnQrVUFG0OevzXmXtMWSywjBeiKpzak1Sk4xOoIc96B8BmQmG f4wcmhcKEDewbvomPTnEYGAhex7RCXvFIYWpnx91nfeCfc4TJHZSo3F4NZZ2HE7gcUm8fP2P JtAOWc+N0iojxtnKnEzCJc6nMKTv179TxMBqAKE/qcwyj2GpOB2+OG1bIC9lsaxbc5ShwOTo n/M13/oBwkTct2Z0zuMtHy27tIjhgv+UYMWUbqxr7tk3AbVyWsUBxkbE1C8pJFVl3JSRfptJ EAV5gwE9pEM6UaJFoPWQjmKmUS960t0t8VrL8U27wSEy6zx6gmfB3QZQjMpVDDAnJ9mLdDN/ g/Z9+4FFQCDo5XOFi3Arub8QSeafHlKfTVbNEfoWCNcu4G7yLzfmC4jWTqKLUJYptj8GDW1x DnT6SZi3PMciskE06j99lfC695NmnQrZlFkjuk0djj/hu+cWGJDT9LzgbQ8xagbRLt1tnHb4 BA5dzG2tYji962lmi2XW/kqF7q0/fuDOzC0qQcxQsV4r2T3oCb9IdA4DNRCyKFBYpZsldjBM B+7hO+tzMI70IaCNvItM93rUazGM4CxSIi+PhwrUja+SsEpKFXvENBGakmX0GTg+HXAYoluU ap3hf2EVC5AYYw+lGTeb75EjdcDm3FmrUuOFMuT50n2gdK2OiTJIZ9bawDmRr5ivMu5TPD9q Yk32z2ikEUBDoUTo0D/reYuELz9BSNnXsGt8ZQLLr/rz8gPMDhJNsI9CIgJI+RN95m5XM+Rl p1kckMHmlf5m1PdLgCGNiJqZL/1DMRwqHs6OWonOlPxgyovZoOm7aE+cZorfOl/pLYzk6IsF /RVKd+dBvlvSyjc/2tPYJT4qrtkfkv5iA+LOR2jfzViLYVrQBbE+4O/cwa2rHsOAyO7uNEQu bql0g+HE5MPSx4zXsnTYfOriVi2uCFFyu51WkLJJPhVeVntoNA6cXyv0qdvLphVexvZxzac2 wKHOjsipLHA890v7d3EpaGYtIP2QeZzG0xtGWOEv7u7MC/t+HX6nd1NXeOOSjDqVG3u/ZKka +gIner3N+cKnQoTvodxT+RrwKY564e9rrNW1F4/TnDCblDuDbo5Z3faho9AsapCwrIfsgyzA xrd9t5fMLSPGcXkDF9Be1Z/P7rbjakZymvI8PA4AETm/ysrrrCJZkNfYkuXgytHIbopbY4on bU7tMgN51DtgxYmKIzd3CVd9mDJKXVZFqt77dcVB4jkjgdtwVZHOMSOBijz6ZCJStNNLkh6f WPO1fSa3+xRlhjYbn4+NXnRxu4B154AjxZHkQ0ZLFOTl9uZ2/I60XW9K9jsoti5E/mG7w5yB oSvH0h8JKHL+D4xwcYfBCajHAZOABDf8Uv0o7fMeKs1UGHwPlEh7kVkUQpOwKzd221Zdzlfu rqfzQ4JlB70Kdrp0HJatVFN8pTeoB8YyuEGsM+iFsWBWZI9ZFIJR0NoiXUg83PaPC/6uKELS SSGMgq9hW0X+BP8e5EGNrQ=
- Ironport-hdrordr: A9a23:nB7TrK9twkx0Caxi4mVuk+DhI+orL9Y04lQ7vn2ZKCYlC/Bw8v rFoB11726QtN98YgBDpTnEAtjifZq+z/9ICOsqTNOftWDd0QPCEGgh1+vfKlbbakrDH4BmpM FdmmtFZOEYz2IWsS832maF+h8bruW6zA==
- Ironport-phdr: A9a23:LnRB8hWSKG9l81KWZk4t0r+x4bTV8KxxXzF92vMcY1JmTK2v8tzYM VDF4r011RmVB96duqgP0LeempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQtFiCC5bL9sI xm7owXcvdQKjIV/Lao81gHHqWZSdeRMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2Q rJeDDQ9LmA6/9brugXZTQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6 apgVR3mhzodNzMh/27XhM5/gqJVrhyiuhJx3ZLbbZqPO/ZiZK7QZ88WSXZDU8tXSidPApm8b 4wKD+cZOuhXtZX9qEUTrRulGAKjGf3gwSJRiH/y3K06zfouEQDc3AM6AtkAqXDUrNTrNKgMU OC11rPHxijEYvNTwzj99JbHcg06of2WWrJwdcvRyVcxGAPElFWfs5foPzyQ1usXsmib6/BsW v6oi24isgx8pCWkycgwhIfTnI0V1kzE+jtjwIYzPdC1SlJ3bcK6HZZfqiyXKoV7T8IsTW9np Ss3y6EKtJG5cSUFx5oqyQDTZ+CFfoaG7R/tVPqcLzlmiH9ne7+zmQq//E69wePyUcm01UxFr itDktTUtHAN0Afc5dOBSvt65Eeh1iiA2xrV6uFDOUw7j7fbK4Imwr4ojJoTtlrDHi7wmEX5l qOWcV8k+ueu5u/6YbvmvoeRO5Fohgz6KKgjmcyyDf4lPgUPQ2SX4+ux2bPl8EbkWrtFlOc2n bPcsJ3CJcQUuKq5AwhN34Ym8Rm/DjOm3M0fnXYdMV5JYRyHgofnNl3UL/D4CvC/g1uokDh13 fzJIrrhApDVInjClrfuY6p95lZCxAYvyd1T/ZFZB7EbLP7uW0L9qMbUAxA3PgCsxuboEtR91 ocQWWKVBa+ZNbvfsVqS6eIzPeaMeZQVtCz6K/gh5v7uk2E2mV4HfaazxpYXZ3W4Ee5nI0Wde 3bjntABEWISsgo4V+PlkEeCXiJLZ3auQ6I84Sk2BJ++AYfZWo+tmKCB3Du8HpBOem9GDUmMH W70eIWARvcDczmfItRhkzwBTbiuUZUt1RCotA/gyrpoNPDY+iMCtcGr6N8g7OrK0Bo26DZcD sKH0mjLQXsnsHkPQmoT1bxyvFc1xlrL9qx5nfFZD9UbwPdITAo7L5eUm+lzF93vQUTGetaXR Ve8S/2pBDgwSpQ6xNpYMBU1IMmrkh2Wh3niOLQSjbHeXPTck4rZ1nn1fYNmzmrekbMmhB8gS 9dOMmuvguh+8RLSDsjHiRbRjL6kIIIb2iOF72Kf1SyWpkgNVQdsXLjeG3cbZ1XbrM7wzkzHR r6qT78gN1gJ0taMf5NDccahllBaXLHmMdXabXi2njK1DAqF26jKa47rZWgcxiz1B00NkgRV9 nGDZkAlHin0hWXYAXR1EE73JUPh9e4rsHSgUko91B2HdWVk3ruxvxkc3LmSF6hV0bUDtyMs7 T5zGT5RxvrwDNyN70pkdaRYO5Ym5UtfkHjevEp7N4ChKKZrghgfdR52tgXgzUc/DIIIisUso H4wqWg6YauFzFNMcS+Z1pHsK/XWLGf15hWmd6/R3BnXzt+X/q4F7PlwpU/kuUmlEU8r8nMv1 NcwsTPU45zWARcJF5X1U1g69gJzj77fayg5oYjT0DwkMKW5tCPDx8N8HPEsmXPCN59UNKKJE hO3EtVPXZD/brx33QH3NlRYZ7M3luZ8Jc6tevqY1bT+Oe9hmGjjlmFb+MVn1UnK8SNgS+nO1 pJDwveC3wLBWS2v6TXp+s3xh41AYikfW2Slzi2xTotYeqBvZsAMDWawLsytz/1xgpfsXzhT8 1vpVDZkkIe5PAGfaVDwx1ga0E0LrGG83yy8ziJ5kisghqWa1S3Khe/lcVBUXwwDDHknhlDqL 4+uitkcV0X9dAklmiyu4kPizrRarqByR4XKaX9BZDO+b2RrU6/q86GHf9YK8pQj9yNeTOW7Z 1meDL/7uRoTlS35TSNSwzUydjfivZuc/VQyjWuBIWto6n3deN99xA3WzNPZTP9VmDEBQWF0h CLWCV61I9SytY/MxtGT76bnCTrnCsYbeDKOr8vIrCah4Gx2HRCz1+u+nNHqC0ly0CP20cVrS TSdqR/9Zofx0KHpeeljf0RuGBr9858gQtA4wtZ23c9InyRB1fD3tTIdnGz+MMtWw/f7ZXsJH 3sQxsLNpRLi0wtlJ26IwITwUjOcxNFgbp+0eDBzuGp14sZUBaOT9LEBkzFypw/yqAvNbOVm2 DAZyOUj6WQTq+4MsQspiC6aB/pBeCsQdTypjBmO492k+e9SbXqibKP2005/g92gFriqrQRVW XK/cZAnV3wVjI03IBfH13v97Zvhcd/bYIcItxGapBzHivBcNJM7kvdZzToiI2/2umcpjvIql RE7l4/vp5CJci8+mcDxSg4dLDD+YNkfvy3gnboL1NjDxJihR91gAmlZB8auFKPwVmhO6rK/c FzSWDwk9iXFRfyFRlTZsRk+6SqISsHOVTnfJWFFn4s8AkDFfgoHxlhTBm1yn4ZlRF70gpa9I QEpvnZJoQSg4hpUlrA3bV+mDiGG9V3uMnBtGP39ZFJX9l0QuBuTaJbDqLo1R2YBoNWgtFDfc zTLIV0XUidZHBTDXQmrP6Hyt4CfqK7BV7b4d72WJuzQzI4WH/aQmcD1itogr2vKb5/feCElV qJz21IfDyogRYKEy3NWGnZRz2WUPoaavEvuoHQp6JrkobKwAkS3otLebtkaecNm/xT86UuaH 8iXgisxaTNR15dWgGTN1KBaxlkZzSdnaziqF70E8y/LVqPZ3KFNXVYdbGtoOc1E4rhZvEEFM NPHit7zyr9zj+IkQ1ZDW1v7n8i1ZMsMa2ijPVLDDUyPOfyIPzrOi83wZKq9T/VXgoA2/1Wov i2HFkb4IjmZvzzgVhTqNugVyS/HZ1pRv4aydhsrAm/mDZrnZhC9LN5rnGg2zLkz1RaofSYXN TlxdV8Ir6XFt3sJxKUiXTUftjw5drrh+W7R9eTTJ5cIvOE+By11k7gf+3Em0/5P6yoCQvVpm SzUp9ooole8k+DJxCA0NXgG4jtNmo+Pul1vfKvD8ZwVE3PN4B8Q9iOXDxUUqtp/A/XgvqlRz p7Ek6e5e1Igu5rEuNARAcTZMpfNKH06LR/gAyLZFiMARD+vcGbW3glTzKrU+XqSoZw37JPrn dBdL90THExwHfQcBEN/GdUEK5oiRTIon4mQi8sQ7Ga/ph3cLC21lp/CX/OWR/7oLWTA5VGhT xQNyLL8a48UM9+js6SDQlxznYCPHEOJGN4R+WtuaQg7pEgL+397HDVb5g==
- Ironport-sdr: 7v1o191wQtrktor3XiUH9H4t/8QfuBE4dzNHyutl319Z1WqF9ESpzZ6x08+ycm27Z7Ve67BPcM Vl4DTqOnhUimCDS9WHfUHTieBQi8MXUF1I30ifEzEZilW4WHE7jKXG7A/VwTFrLBIRC3ySE/04 GVMNTBAp846Kov42R4IZan/o1WWIy5CHAeogjSLuSlb+6weU3x1IY8VXhFubyhexFjtD5d/nqE JuXaz9JpPybVBw9H3h8WuzCF3dei1q5R2vynXgpBwenPdUNoNwQ8313aGX3bk50nPEBL5n0RY6 gv8xbYNsmmECGDVHj9M4EQJP
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 on 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] Fwd: Postdoctoral Researcher Position in Formalization of Algorithms in Proof Assistants, University of Bergen, Norway (Deadline: June 30), Mateus de Oliveira Oliveira, 06/02/2022
Archive powered by MHonArc 2.6.19+.