Phd On Refinement Types And Security

col-wideJob Description:

**Who should apply?**:
**Working at IMDEA Software**:
The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is English.

**Dates**:
**How to apply?**:
For any questions about these positions, please contact Marco or Niki directly ([marco.guarnieri | niki.vazou] at imdea dot org).