https://uu.varbi.com/en/what:job/jobID:832747/
A PhD position at Uppsala University (Sweden) on the topic of "Parametric Floating-Point Reasoning".
Floating-Points are still hard, but it's nice to know somebody works on their verification. 😁
>>Click here to continue<<
