Vacancy for Assistant Professor

The FSA group has a vacancy for an assistant professor (tenure-track/tenured) under the Irène Curie Fellowship programme, which offers a substantial start-up package. We are particularly keen on strengthening our expertise in automated reasoning, SAT solving and SMT solving, but also warmly welcome strong candidates with a different specialisation in Formal Methods. Note that the Irène Curie Fellowship programme is only open to women. For more details, see the online vacancy.