3 postdoctoral research positions (PL: adiunkt) in the scientific project Smart-Contract Protocols:

Pursuant to the Law of Higher Education, the University of Warsaw invites the
applications for: 3 postdoctoral research positions (PL: adiunkt) in the scientific
project Smart-Contract Protocols: Theory for Applications (PROCONTRA)
financed by the European Commission (grant agreement no 885666)
Principal Investigator: Stefan Dziembowski
The ERC project Smart-Contract Protocols: Theory for Applications (PROCONTRA), led by
prof. dr hab. Stefan Dziembowski, is offering 3 postdoctoral research positions in the Institute of
Informatics at the Faculty of Mathematics, Informatics, and Mechanics of the University of Warsaw.
Terms of employment Selected candidates will be employed on research position (pol. adiunt w grupie pracownik w badawczych) on 100% working time. The duration of employment is one year with possible prolongation for another 2 years. The expected starting date is around the 1st of July 2023, up to an agreement between the candidate and the principal investigator. The offered salary combined (basic salary approx. PLN 7 000 gross/month plus project bonus) is around PLN 14 800 gross/month). The position comes with no teaching obligations and a generous travel budget. The selected candidates will work on problems in the area of cryptography with applications to blockchain and smart contracts.

Description of the project

Project PROCONTRA focuses on studying challenging problems in the area of smart contracts and
blockchain. The main emphasis is on fundamental cryptographic techniques. The work within the project will concentrate on the following three directions:
Modeling security properties of the smart-contract protocols using cryptographic formalism.
Proposing new ideas for smart-contract protocols, especially those based on advanced
cryptographic techniques.
Security proofs of the proposed constructions.
Automated verification of these security proofs
Understanding limitations of cryptographic techniques in this area.
Requirements
We expect candidates to have a PhD in Computer Science (or related field) at the time of hiring and to have an excellent background in this field. We also require a record of scholarly achievement
(documented by publications) in the area that this project concers. A good command of English is
required.

Applications
An application should include Curriculum Vitae that:
presents an overview of the background and scientific achievements of the candidate;
lists all the candidate s research works (including not yet published manuscripts),
contains a list of two experienced researchers that may serve as references for the candidate.
In addition to the above, there should be a signed cover letter addressed to the Dean of the Faculty of Mathematics, Informatics, and Mechanics, the University of Warsaw together with the personal data clause (attached). No research statements are required.
Applications, as well as further questions on both the scientific topic of the project and on formal details of the call procedure, should be directed to prof dr hab. Stefan Dziembowski:
s.dziembowski+procontra2022/1@uw.edu.pl
To apply for the position, candidates should send an e-mail and submit the documents as attached .pdf files.

Application deadline: 19th of April, 2023

Applications that do not satisfy the above requirements or are submitted after the deadline will not be considered for the position.
The applications will be evaluated by a selection committee appointed by the Dean of the Faculty of
Mathematics, Informatics, and Mechanics, University of Warsaw. The committee may invite the
candidate to a meeting, which will be conducted remotely. The results of the competition will be sent to candidates electronically on 15th of June, 2023 at the latest. The competition is the first stage of the recruitment process as described in the Statute of the University of Warsaw, the recommendation by the selection committee being a basis for its subsequent stages.