Logic List Mailing Archive

PhD student position in formal verification, Göteborg (Sweden)

Dear colleagues,

I have a PhD position open at Chalmers University of Technology, Gothenburg, 
Sweden, on the topic of Smart Contract Verification. The title of the position 
is: "Formal Verification of Blockchain Applications". If you have the 
opportunity to pass this information to students or other potential candidates, 
I am grateful if you do. The announcement is linked here:

https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=10582&rmlang=UK

Please feel free to pass on this information to people in your network.

Many thanks, and best regards,

Wolfgang
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam