2 web-programmer-developer-"https:"-"UCL"-"U"-"CNRS-"-"https:"-"https:"-"https:" positions at Uppsala universitet in Sweden
-
to floating-point arithmetic. Possible research directions include developing new automated program verification techniques specifically for such programs, as well as specification inference and fault
-
include developing new automated program verification techniques specifically for such programs, as well as specification inference and fault localisation approaches that would make such verifiers practical
Enter an email to receive alerts for web-programmer-developer-"https:"-"UCL"-"U"-"CNRS-"-"https:"-"https:"-"https:" positions