[DMANET] 2-Year Postdoctoral Researcher Position in SAT Solving, Constraint Satisfaction and Related Areas - Deadline 30 April 2023

Call for applications:

The Algorithms group at the University of Bergen (Norway) has an
open 2-year Postdoctoral Researcher position in SAT-solving (deadline 30
April 2023). The goal is to apply SAT solving techniques in the development
of algorithms and in the investigation of mathematical conjectures arising
in combinatorics, graph theory, and related areas. For more information
about the position please visit the official announcement or send me a
message.

https://www.jobbnorge.no/en/available-jobs/job/242720/researcher-in-informatics-sat-solving

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@dsv.su.se, mateus.oliveira@uib.no
https://autoproving.org/mateus-de-oliveira-oliveira/

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************