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

[Mateus de Oliveira Oliveira]

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/