There is a position available for someone to come and work in the proof complexity group in Prague for three and a half months in the second half of this year. See the announcement here: https://application.math.cas.cz/Positions.html The deadline for applications is May 31st. Please contact me with any questions.