-
The Center for Basic Research in Program Verification (CPV) seeks an assistant professor to work on the ERC funded project Compositional Reasoning about Higher-Order Distributed Systems (CHORDS
-
for evaluation. The selected applicants will be informed about the composition of the committee and will receive his/her assessment. Once the recruitment process is completed a final letter of rejection is sent
-
. The selected applicants will be informed about the composition of the committee, and each applicant is given the opportunity to comment on the part of the assessment that concerns him/her self. Once the
-
informed about the composition of the committee, and each applicant is given the opportunity to comment on the part of the assessment that concerns him/her self. Once the recruitment process is completed a