25 Apr '23
5
5
1
0
1
0
3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
by Andrei Popescu 20 Apr '23
by Andrei Popescu 20 Apr '23
20 Apr '23
1
0
1
0
2
1
4
4
1
0
1
0
1
0