There is an opening for a postdoc position ("university assistant") at TU Wien
within the Algorithms and Complexity research unit. Candidates should have a
research focus on quantified propositional logic (quantified and dependency
quantified Boolean formulas), including practical aspects (solve
* Apologies if you receive multiple copies of this call *
=
== 2nd Call for Papers ==
9th Workshop on Formal and Cognitive Reasoning (FCR-2023)
https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.fernuni-hagen.de%2Fwb
