From Lorenzo Carlucci
===
Call for expression of interest for a postdoc position in Logic, Combinatorics and Complexity at Sapienza University in Rome.
Under the National PRIN project “Logical Methods in Combinatorics” we are looking for an excellent junior researcher with a recent PhD in Computer Science,
Mathematics or Logic whose research interests can complement and interact with the research profile of the project group (Nicola Galesi, Lorenzo Carlucci and Massimo Lauria).
Research interests include (but are not limited to) Proof Complexity, theoretical aspects of SAT-solving, Reverse Mathematics, Computability and Combinatorics.
The position will be available for one year and half starting presumably in January 2024. The postdoc (called “Assegno di ricerca” in Italy) will be formally based at the
Department of Computer, Control and Management Engineering (DIAG) of Sapienza (to which N. Galesi is affiliated), but collaboration is expected with the Department of Mathematics
(L. Carlucci) and with the Department of Statistics (M. Lauria).
Sapienza is the major Italian university and one of the biggest all over Europe. For research in Theory of Computing Sapienza is the first Italian university according to CS rankings (https://csrankings.org/) and the Department of Mathematics received the Italian award of “Dipartimento di Eccellenza” (Department of Excellence) in 2023-2027.
Rome is the capital of Italy and a vibrant cultural city well connected with the rest of the world and with a reasonable cost of living.
If interested please send as soon as possible a detailed CV to nicola.galesi@uniroma1.it with SUBJECT: LCC-PD