[Proof Complexity] PhD position at Lund University (deadline August 31, 2025)

[Susanna Rezende]

Dear colleagues,


There is an open PhD position at Lund University in my group. Women are specially encouraged to apply (there can be extra funding for women candidates).


I would be grateful for any help spreading the information. The application deadline is August 31. More information can be found at https://derezende.github.io/openpositions/.


Best regards,

Susanna