
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"></div><div dir="ltr"><br><br><br>Begin forwarded message:<br><br></div><blockquote type="cite"><div dir="ltr"><b>From:</b> Mateus de Oliveira Oliveira via Proof-Complexity <proof-complexity@math.cas.cz><br><b>Date:</b> March 24, 2023 at 9:17:14 AM CDT<br><b>To:</b> Proof-Complexity@math.cas.cz<br><b>Subject:</b> <b>[Proof Complexity] Postdoctoral Researcher in SAT-Solving - University of Bergen</b><br><b>Reply-To:</b> Mateus de Oliveira Oliveira <mateus.oliveira@gmail.com><br><br></div></blockquote><blockquote type="cite"><div dir="ltr"><span>Dear all,</span><br><span></span><br><span>there is a 2-year Researcher position connected with my research projects</span><br><span>in the field of SAT solving.</span><br><span></span><br><span>https://euraxess.ec.europa.eu/jobs/87731</span><br><span></span><br><span>There is a lot of flexibility on the specific topic to be investigated.</span><br><span>Candidates strong in theory, in more practical aspects of SAT solving, or</span><br><span>both, are welcome.</span><br><span></span><br><span>I would appreciate if you could forward this announcement to potentially</span><br><span>interested candidates.</span><br><span></span><br><span>Best Regards,</span><br><span></span><br><span>Mateus</span><br><span></span><br><span>-------------------------------------------------------------------------------</span><br><span>Mateus de Oliveira Oliveira</span><br><span>Senior Lecturer - Department of Computer and System Sciences, Stockholm</span><br><span>University, Sweden</span><br><span>Associate Professor - Department of Informatics, University of Bergen,</span><br><span>Norway</span><br><span>oliveira@dsv.su.se</span><br><span>https://autoproving.org/mateus-de-oliveira-oliveira/</span><br><span>_______________________________________________</span><br><span>Proof-Complexity mailing list</span><br><span>Proof-Complexity@math.cas.cz</span><br><span>https://list.math.cas.cz/listinfo/proof-complexity</span><br></div></blockquote></body></html>