<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] 2-Year Postdoctoral Researcher Position in SAT
Solving, Constraint Satisfaction and Related Areas -
Deadline 30 April 2023</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Mon, 10 Apr 2023 15:25:55 +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>
The Algorithms group at the University of Bergen (Norway) has an
open<br>
2-year Postdoctoral Researcher position in SAT-solving (deadline
30 April<br>
2023). The goal is to apply SAT solving techniques in the
development of<br>
algorithms and in the investigation of mathematical conjectures
arising in<br>
combinatorics, graph theory, and related areas. For more
information about<br>
the position please visit the official announcement or send me a
message.<br>
<br>
<a class="moz-txt-link-freetext" href="https://www.jobbnorge.no/en/available-jobs/job/242720/researcher">https://www.jobbnorge.no/en/available-jobs/job/242720/researcher</a>>-in-informatics-sat-solving<br>
<br>
Best Regards,<br>
<br>
Mateus<br>
<br>
----------------------------------------------------------------------------------------------------------------<br>
<br>
Mateus de Oliveira Oliveira<br>
Senior Lecturer - Department of Computer and System Sciences,
Stockholm<br>
University, Sweden<br>
Associate Professor - Department of Informatics, University of
Bergen,<br>
Norway<br>
<a class="moz-txt-link-abbreviated" href="mailto:oliveira@dsv.su.se">oliveira@dsv.su.se</a>, <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>