1 computer-security-"https:"-"https:"-"https:"-"https:"-"DFG-TRR" Postdoctoral positions at Uppsala universitet in Sweden

Up to 2 Postdoctoral Positions in Programming Languages and Program Verification

Uppsala universitet | Sweden | 3 months ago

of a program or make it harder to reason about its performance. Languages like Rust offers memory safety without the additional run-time machinery, as long as programs can be expressed in its safe subset