Open positions

Call for Expressions of interest for a Post-Doc 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 group of the project which is made by Nicola Galesi, Lorenzo Carlucci e Massimo Lauria.

Research interests include (but are not limited to) Proof Complexity, theoretical aspects of SAT-solving, Reverse Mathematics, Computability.

The position will be available for one year and half starting presumably in January 2024.  The postdoc (In Italy called "Assegno di ricerca") will be formally based at the  Department of Computer, Control and Management Engineering (DIAG) of Sapienza (N. Galesi), but in collaboration with the Department of Mathematics (L. Carlucci ) and that 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 and the Department of Mathematics received the Italian award of  "Dipartimento di Eccellenza" for 2023-2027.  Rome is the capital of Italy and a culturally vibrant 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