I will discuss strategies how to get a tenure (track) professor position when working in automated deduction. For example, in Germany every university
 with a computer science department includes a theory chair. In Germany, theory is typically interpreted as "Complexity of Algorithms", but almost never
as automated deduction. Even for people working in computational logic that do research in theoretical complexity, it is difficult to be successful
in getting such a theory position. On the other hand, there are rarely openings specifically
in automated deduction. So, more concretely, I will discuss strategies how to
successfully apply as an automated deduction person to openings outside automated deduction.