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

[Pekka Orponen]

-------- Forwarded Message --------

Subject: 	[DMANET] 2-Year Postdoctoral Researcher Position in SAT 
Solving, Constraint Satisfaction and Related Areas - Deadline 30 April 2023
Date: 	Mon, 10 Apr 2023 15:25:55 +0200
From: 	Mateus de Oliveira Oliveira <mateus.oliveira at gmail.com>
To: 	dmanet at zpr.uni-koeln.de



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 at dsv.su.se, mateus.oliveira at uib.no
https://autoproving.org/mateus-de-oliveira-oliveira/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://list.aalto.fi/pipermail/job-offers-cs/attachments/20230430/32081e16/attachment-0001.htm>