[Theory] Fwd: [Proof Complexity] Postdoctoral Researcher in SAT-Solving - University of Bergen

[Alexander Razborov]

Begin forwarded message:

> From: Mateus de Oliveira Oliveira via Proof-Complexity <proof-complexity at math.cas.cz>
> Date: March 24, 2023 at 9:17:14 AM CDT
> To: Proof-Complexity at math.cas.cz
> Subject: [Proof Complexity] Postdoctoral Researcher in SAT-Solving - University of Bergen
> Reply-To: Mateus de Oliveira Oliveira <mateus.oliveira at gmail.com>
> 
> Dear all,
> 
> there is a 2-year Researcher position connected with my research projects
> in the field of SAT solving.
> 
> https://euraxess.ec.europa.eu/jobs/87731
> 
> There is a lot of flexibility on the specific topic to be investigated.
> Candidates strong in theory, in more practical aspects of SAT solving, or
> both, are welcome.
> 
> I would appreciate if you could forward this announcement to potentially
> interested candidates.
> 
> Best Regards,
> 
> Mateus
> 
> -------------------------------------------------------------------------------
> Mateus de Oliveira Oliveira
> Senior Lecturer - Department of Computer and System Sciences, Stockholm
> University, Sweden
> Associate Professor - Department of Informatics, University of Bergen,
> Norway
> oliveira at dsv.su.se
> https://autoproving.org/mateus-de-oliveira-oliveira/
> _______________________________________________
> Proof-Complexity mailing list
> Proof-Complexity at math.cas.cz
> https://list.math.cas.cz/listinfo/proof-complexity
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/theory/attachments/20230324/f5885101/attachment.html>