Do you want to develop techniques to guarantee the correctness of future international business and trade? Then, you must apply for the PhD students Position in Formal Verification of Smart Contracts at the Chalmers University of Technology for the academic year 2022-2023 in Sweden.
All students, international and national that have a relevant master qualification, preferably in the field of Computer Science or Electrical Engineering or similar, are eligible to apply for this position. The students selected will be offered some concession on their studying costs.
