2-year Postdoctoral Researcher position in SAT-solving (deadline 30 June
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
Location: University of Bergen, Bergen, Norway
Duration: 2 years
Requirements: PhD in some area strongly related to SAT solving. Proficiency
in theoretical or practical aspects of SAT solving (or both). Candidates
whose thesis has been submitted before the deadline (30 June) are also
eligible.
Initial Salary: 573.900 NOK per year before taxes (approx 50.000 EUR per
year before taxes)
Please note that the full applications should be submitted using the
submission system linked in the announcement.
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/
*
**********************************************************
Posts
