Two postdoctoral posts advancing automated reasoning, one improving theory reasoning in theorem provers and one on machine-assisted formalisation of mathematics, connecting logic, automated deduction and learning techniques.
Listed via the source → — verify details on the official page before applying.