1 web-programmer-developer-"https:"-"https:" Postdoctoral research jobs at Uppsala universitet

Up to 2 Postdoctoral Positions in Programming Languages and Program Verification

Uppsala universitet | Sweden | 13 days ago

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