formal methods Positions RSS Feed Positions tagged with formal methods

Type
PhD Project
CISPA Helmholtz Center for Information Security

Scientific assistant/PhD candidate: Formal Correctness Guarantees

Date Posted

29 Jul 2019
Location
Anywhere
Type
PhD Project
Saarland University

Automatic Synthesis of Distributed and Parameterized Systems

Date Posted

2 Mar 2015
Location
Saarbrücken
Saarland, Germany