Fwd: [Coq-Club] PhD position at the University of Copenhagen

[Leonardo Lima]

Olás,

Esse anúncio talvez interesse alguém por aqui.

[]'s

---------- Forwarded message ---------
De: Dmitriy Traytel <tra...@di.ku.dk>
Date: qua., 15 de set. de 2021 às 19:25
Subject: [Coq-Club] PhD position at the University of Copenhagen
To: coq-...@inria.fr <coq-...@inria.fr>

Dear all,

I have an open PhD position at the University of Copenhagen from January 2022
on the topic of formally verifying a data stream processing framework. Please
see the official ad for more details and instructions on how to apply:

https://jobportal.ku.dk/phd/?show=154783

The application deadline is 10 October 2021, 23:59 GMT +2.
The position is funded by a grant from the Novo Nordisk Foundation.

Familiarity with proof assistants is a big plus.

Feel free to contact me, if you have any questions or know suitable candidates.

Best wishes,
Dmitriy