[TYPES/announce] PhD positions available on formal methods and digital twins at University of Oslo

[Einar Broch Johnsen]

Two PhD positions available at the intersection of formal methods and digital twins. The positions are ideal for applicants interested in logic, formal descriptions, software engineering, and programming (and curious about digital twins). Both positions are in the Reliable Systems research group at the University of Oslo. Application deadline: February 28. 

- Formal Methods and Software Engineering for Digital Twins:
https://urldefense.com/v3/__https://lnkd.in/d6PiFHNa__;!!IBzWLUs!UK7lujkm8reaZ7IPcT5NLtbJqU1S66-OPNyiikHPVJ6b_PYG4hWhR8dQNMj7K2FNDhAfXPPHRt9ATi3imIeEZrUzHMHED44$ 

- Information-Flow Analysis for Digital Twins
https://urldefense.com/v3/__https://lnkd.in/drjMGqRY__;!!IBzWLUs!UK7lujkm8reaZ7IPcT5NLtbJqU1S66-OPNyiikHPVJ6b_PYG4hWhR8dQNMj7K2FNDhAfXPPHRt9ATi3imIeEZrUzKYZwHGk$