Do you want to do a PhD in Formal Methods and are interested in pursuing a PhD? Look no further, we have an open position leading to a joint degree from the University Paris-Sacly (France) and the University of Exeter (UK):

Information about the programme can be found at
* <https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/>
* <https://adum.fr/as/ed/voirproposition.pl?langue=en&matricule_prop=71068&site=PSaclay>

All applications have to be made via the ADUM system:
<https://adum.fr/as/ed/voirproposition.pl?langue=en&matricule_prop=71068&site=PSaclay>,
latest on the 22nd of March 2026.

#phd #phdposition #formal_logic #isabelleHOL #formal_mehods #joboffer #DiscreteMathematics #NumberSystems

#PhD #position Social cohesion and #climate #polarization: how to communicate effectively about climate change

https://werkenbij.rug.nl/vacature/phd-position-social-cohesion-and-climate-polarization-how-to-communicate-effectively-about-climate-change-1796/?lang=en

#ClimateChange #ClimateCrisis #PhDPosition #philosophy #sociology #job #Groningen #Netherlands #getfediHired #ClimateCommunication #communication #disinformation