https://afribary.com/opportunities/1893/international-phd-position-in-formal-methods-sweden/