4 web-programmer-developer-"https:"-"PhD-Jobs"-"https:"-"https:"-"https:" positions at Uppsala universitet
Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in formal verification and programming
-
within the Structural Chemistry research programme at the Department of Chemistry-Ångstöm Laboratory. The project specifically aims to develop a sustainable, cost-effective method to transform biomass
-
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