excellence and independence by publications in the field of automated theorem proving. We seek candidates with international...This is a temporary W2-Professorship for a period of five years. We are looking for promising early-career...
excellence and independence by publications in the field of automated theorem proving. We seek candidates with international...This is a temporary W2-Professorship for a period of five years. We are looking for promising early-career researchers...