We are offering a 1+1 year post-doc position as part of the ANR funded project Sub-EXponential APproximation and ParametErized ALgorithms (S-EX-AP-PE-AL). The topic of the position is the intersection of FPT algorithms and approximation. The post-doc will be supervised by Michael Lampis and will be based in LAMSADE, Université Paris-Dauphine,
located in central Paris.

Website: https://www.lamsade.dauphine.fr/~mlampis/SEXAPPEAL/events.html
Email: michail.lampis@dauphine.fr

The Algorithms group at the University of Bergen 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.

Website: https://www.jobbnorge.no/en/available-jobs/job/242720/researcher-in-informatics-sat-solving
Email: mateus.oliveira@uib.no