[Proof Complexity] Postdoctoral Researcher in SAT-Solving - University of Bergen
Mateus de Oliveira Oliveira
mateus.oliveira at gmail.com
Fri Mar 24 15:15:46 CET 2023
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/
More information about the Proof-Complexity
mailing list