<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>-------- Forwarded Message --------</p>
<div class="moz-forward-container">
<table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
</th>
<td>[DMANET] Postdoc and Ph.D. Student Positions in Symbolic
Algorithms - University of Bergen (Norway) - Deadline
14/Nov/2021 (2nd Call for Applications)</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Sun, 17 Oct 2021 11:55:33 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Mateus de Oliveira Oliveira
<a class="moz-txt-link-rfc2396E" href="mailto:mateus.oliveira@gmail.com"><mateus.oliveira@gmail.com></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:dmanet@zpr.uni-koeln.de">dmanet@zpr.uni-koeln.de</a></td>
</tr>
</tbody>
</table>
<br>
<br>
Symbolic algorithms are algorithms where the input data is
represented<br>
implicitly. Such algorithms are particularly relevant in contexts
where the<br>
data to be processed is too large to be specified in an explicit
form. The<br>
Algorithms Group at the University of Bergen (Norway) has
currently two<br>
open positions in the field of symbolic algorithms. These
positions are<br>
financed by the project "Symbolic Algorithms: A Parameterized
Approach", a<br>
12 Million NOK research project funded by the Research Council of
Norway<br>
under the Ground Breaking Research framework.<br>
<br>
Postdoc Position - 3-year position with an initial salary of
535,500 NOK<br>
per year (approx 52,500 EUR per year) before taxes.<br>
<br>
Ph.D. Position - 3-year position, with the possibility of a fourth
year, if<br>
teaching is involved. Initial salary: 491,200 NOK per year (approx
48,000<br>
EUR per year) before taxes.<br>
<br>
Applicants for the Ph.D. student position should have a master's
degree (or<br>
obtain a master's degree before 31/01/2022) and a strong
background in a<br>
related subfield of theoretical computer science. Applicants for
the<br>
Postdoc position should have in addition, a Ph.D. degree (or
obtain a Ph.D.<br>
degree before 31/01/2022) and a strong publication record in some
related<br>
subfield of theoretical computer science. Examples of fields of
relevance<br>
to the position are: algorithms, graph theory, combinatorics,
automata<br>
theory, type theory, etc.<br>
For more information, please contact the project leader, Mateus de
Oliveira<br>
Oliveira (<a class="moz-txt-link-abbreviated" href="mailto:mateus.oliveira@uib.no">mateus.oliveira@uib.no</a>). The links for the official
announcements<br>
of the positions are given below.<br>
<br>
Postdoc position:<br>
<a class="moz-txt-link-freetext" href="https://www.jobbnorge.no/en/available-jobs/job/212553/postdoctoral-research-fellow-position-within-informatics-symbolic-algorithms">https://www.jobbnorge.no/en/available-jobs/job/212553/postdoctoral-research-fellow-position-within-informatics-symbolic-algorithms</a>><br>
Ph.D. student position:<br>
<a class="moz-txt-link-freetext" href="https://www.jobbnorge.no/en/available-jobs/job/212570/phd-research-fellow-in-informatics-symbolic-algorithms">https://www.jobbnorge.no/en/available-jobs/job/212570/phd-research-fellow-in-informatics-symbolic-algorithms</a>><br>
-------------------------------------------------------------------<br>
Mateus de Oliveira Oliveira<br>
Researcher<br>
Department of Informatics - University of Bergen<br>
<a class="moz-txt-link-abbreviated" href="mailto:mateus.oliveira@uib.no">mateus.oliveira@uib.no</a><br>
<a class="moz-txt-link-freetext" href="https://autoproving.org/mateus-de-oliveira-oliveira">https://autoproving.org/mateus-de-oliveira-oliveira</a>><br>
<br>
</div>
</body>
</html>