[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
