2 formal-verification-"https:" PhD positions at Uppsala universitet

PhD student focusing on Scalable Quantum Program Verification

Uppsala universitet | Sweden | 8 days ago

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

Up to 2 PhD Positions in Programming Languages and Program Verification

Uppsala universitet | Sweden | 3 months ago

of the following: static and/or dynamic program analysis, programming language techniques (such as semantics, type systems, runtime systems, etc), formal verification, or software engineering