coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD Position in Symbolic Algorithms at the University of Bergen (Norway) - Deadline 14/November/2021 (Bergen Time)

From: Mateus de Oliveira Oliveira <mateus.oliveira AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] PhD Position in Symbolic Algorithms at the University of Bergen (Norway) - Deadline 14/November/2021 (Bergen Time)
Date: Fri, 12 Nov 2021 12:50:31 +0100
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-ed1-f49.google.com
Ironport-data: A9a23:V38LdKx2Al77EVnLsSh6t+dbxyrEfRIJ4+MujC/XYbTApDp2gTxWmjNKXTvUbqzYZWDzfd5wYIW+pEIBupGGnIVhOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA/3z27AsFehsJpPnjkrrYueJQUVUj/nSH+OlUbScYEideCc9IMsfoUI78wIGqtUw6TSJK1vlVeLa+6UzCnf9s9JHGj58B5a4lf9alK+aVAX0EbAJTasjUFf2zxH5BX+ETE27ByOQroJ8RoZWSwtfpYxV8F81/z91Yj+kurPyc0lPT7KLeAbS2zxZXK+thhUErSs3uko5HKBEOAEH1nPTx4A3lIQlWZ+YEW/FOoXJkfgQTgIeFCV/I6BH4rbvLn22sMjVxErDG5fp6640XR9vbNBwFuFfWDkSr5T0MgslZReawumy3biTUfhpns1lLc/xPYpZtGsI8N1zJeJ+FMqFHLGTsIcehCNq05gIR6ePPt5CPGIpMQCfNjRRHnwSLL4+uMahoEXlVwNZjUbM/f9npzXHpOBq+L3kMd6Qd9DTAMsJzwCXoWXJ+2m/CRYfXOFzAAGtqhqE7tIjVwugMG7TKFG5yhKuqFiax2hWBRFPEFXn8L+2jUmxX98ZIEsRksbrhcDe62TzJuQRnTXhyJJHgvLYc9VVGuw+rgqKz8I4Ji6HU3McQGcphMMO7acLqP9D6rNNt9zsDD1r9raSTBpxM5/8QSyaYUAoEIPJWcPIocbpLTUuTEHfQy8jlupeLZM=
Ironport-hdrordr: A9a23:XPegqaAzVhmH7FjlHemh55DYdb4zR+YMi2TDtnoBLiC9F/bzqynApoV56faZslYssRIb+OxoWpPwI080nKQdieIs1NyZLWzbUQWTXeVfBEjZrwEI2ReSygeQ78hdmmFFZuHNMQ==
Ironport-phdr: A9a23:uLDr0B/Qr0puU/9uWUi7ngc9DxPPW53KNwIYoqAql6hJOvz6uci4ZQqFvr433BeJBdydt6gczbKO8ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWmTaxe61+IRu5oQnPtcQdnI9uJrosxhfTrXZEZfhayXl0KV6Pmhr3+9u98oNk/ylMofwq6tROUb/9f6Q2TLxYCCopPmUo78D1thfNUBWC6GIEXmoZjhRHDQ7F7ArnXpjqqSv1qvB92CiBMsLoS70/RCmv4L1qSB/sjycHKiI5/WTKgcF+kK5XvBSsrAF5zoXJYo+aKeB+c7vSct0aS2RPXdtfWTJdDY6ndYQDE/AMMPxEo4XhpVYDqwa1Cwm2BOPozz9Fnnj40rcm0+s/DAHGxxErEM8Qv3/Jtdv1MKYSUf6rw6nJ1zXMde5d1y756IjJbBAuv/CMXahqfsHMzkQvEhnKjkmOpoz4JDOZzOMNs2ya7+p+S+2vinQnpBtqrzigw8cjkIjJhoYPxl/Y8iV5xZ84KNulQ0F0fdCqCoFftz2GN4RoWMMiRXlltSk7x7MJupO3YSYExIo7yxPDZfKKfYmF7BLsWuieITp2i3NodK+hihi88UatyuPyWtWw3VhFridInMXAu20N2hHV98OJRPx9/kK71jaO0QDe8uNEIUcvmqXALZ4hxaQwlpUNvkjZGC/2n136g7WLdkU4/eio8/7nYrL4pp+dMY90hRvyMqM0msywB+kzLwsAX3CD9OiiyLHu+Vf1TbZKg/EsjKXVrJPXKd4Uq6O9BQJez5wt5AylDzi81dQVhXkHI0xBeBKAl4XpPkvBIPH8DfumnVujjSpny+nIPrDuBpjBNHfDkLDmfbZy705T1hA/wsxY55JREr0BIfTzVVHttNHAEBM1Lwi5z/zkBdh9zI8SR36DD6yDPK7dtVKE/ucvLPONZI8Rtjb9Mf8l5/v2gH88g1AdYbem3YYMaHyiGfRmJ0SZYWTyjdcAC2cFpBEzTOPviFKYUD5TY2y+UL475jE+EI6mF5vMRpixgLyd2ye2BoFZZmdfClyVDXjoc5iEVOwXZSKJIs5hlyQEWqK7R48g0xGurg76xKB9Iura4C1L/a7kgdNy/qjYkQw43T1yFcWUlW+XHE9umWZdYjYq0b1k6UBwgnCH0LZ1guZRXftX5u1EUx0zfcrZxvB3Fsu0XQbAYNqIUl+OTdCvADV3RdU0lYxdK31hEsmv20iQlxGhBKUYwuTj7HMc/afV3ny3LMF4mS+uPEwJgFwvQ88JPmqj1PYXH+n7AofIlwCUm//ve/hNmiHK82iHwCyFu0QKCGZN

A gentle reminder about a fully funded Ph.D. position in symbolic algorithms at the University of

Bergen (Norway), with a very competitive salary in a great research-oriented group. Students with

strong proficiency in some proof assistant such as Coq are strongly encouraged to apply.

Although the deadline is (very) soon, there is still time.

Best Regards,

Mateus

---------------------------------------------------------------------------------------------------------------------------------------------

Symbolic algorithms are algorithms where the input data is represented
implicitly. Such algorithms are particularly relevant in contexts where the
data to be processed is too large to be specified in an explicit form. The
Algorithms Group at the University of Bergen (Norway) has currently two
open positions in the field of symbolic algorithms. These positions are
financed by the project "Symbolic Algorithms: A Parameterized Approach", a
12 Million NOK research project funded by the Research Council of Norway
under the Ground Breaking Research framework.

Ph.D. Position - 3-year position, with the possibility of a fourth year, if
teaching is involved. Initial salary: 491,200 NOK per year (approx 48,000
EUR per year) before taxes.

Applicants for the Ph.D. student position should have a master's degree (or
obtain a master's degree before 31/01/2022) and a strong background in a

related subfield of theoretical computer science. Examples of fields of relevance

to the position are: algorithms, graph theory, combinatorics, automata
theory, type theory, etc.

For more information, please contact the project leader, Mateus de Oliveira
Oliveira (mateus.oliveira AT uib.no). The link for the official announcement
of the position is given below.

Ph.D. student position:
https://www.jobbnorge.no/en/available-jobs/job/212570/phd-research-fellow-in-informatics-symbolic-algorithms

-------------------------------------------------------------------
Mateus de Oliveira Oliveira
Researcher
Department of Informatics - University of Bergen
mateus.oliveira AT uib.no
https://autoproving.org/mateus-de-oliveira-oliveira

[Coq-Club] PhD Position in Symbolic Algorithms at the University of Bergen (Norway) - Deadline 14/November/2021 (Bergen Time), Mateus de Oliveira Oliveira, 11/12/2021