<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</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Thu, 30 Sep 2021 01:12:20 +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<br>
<a class="moz-txt-link-rfc2396E" 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>-
3 years position with an initial salary of 535,500 NOK per year
(approx<br>
52,500 EUR per year) before taxes.<br>
Ph.D. Position<br>
<a class="moz-txt-link-rfc2396E" 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>-
3 years position, with the possibility of a fourth year, if
teaching is<br>
involved. Initial salary: 491,200 NOK per year (approx 48,000 EUR
per year)<br>
before taxes.<br>
<br>
Applicants for the Ph.D. student position should have a master
degree (or<br>
obtain a master 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 PhD degree (or obtain
a PhD<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>
<br>
All applications received until the deadline (14/Nov/2021) will
receive<br>
equal consideration.<br>
<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>).<br>
<br>
Best Regards,<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>
autoproving.org/mateus-de-oliveira-oliveira<br>
<br>
<br>
</div>
</body>
</html>