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:


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

Many thanks, and best regards,

[LOGIC] mailing list
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