Wanted: Research assistant in CROSSING project

Eric | December 10, 2014

We are currently looking for a research assistant who supports us in modeling cryptographic API’s with the use of Clafer.

So if you are interested in cryptography and are currently looking for a theses topic or a paid HiWi project, have a look in the attached proposal and contact us!

Proposal

Cross-posted from SEEBlog