Post-doc in Complexity of decision problems for algebraic systems, polynomial satisfiability M/F
The French National Centre for Scientific Research (CNRS)
France
Summary
Postdoctoral position in computational logic and symbolic computation. Explore decision problems in first-order logic, polynomial systems, and stochastic games. Develop algorithms for real and algebraically closed fields, publish results, and collaborate. PhD in mathematics or CS.
