Place of work: Warsaw, Poland

The newly established IDEAS NCBR institute is looking for a position of Research Team Leader dealing with formal modeling and proving the security of cryptographic protocols used in blockchain technology. The research will be carried out in cooperation with the cryptography and blockchain laboratory headed by prof. Stefan Dziembowski at the University of Warsaw.

Website: https://ideas-ncbr.pl/en/research-team-leader/
Email: jobs@ideas-ncbr.pl

We have 6 tenure/tenure track position out of which one is focused on theory. We are looking for folks in both algorithms and complexity. (The Nov 30 deadline is a suggestion, we will be considering applications a bit after that as well.)

Website: https://www.ubjobs.buffalo.edu/postings/30481
Email: atri@buffalo.edu