PhD Position on Causality Analysis: The Formal Methods and Tools (FMT) group at the University of Twente is offering a PhD position focused on addressing liveness issues in programs through causality analysis. This research aims to develop frameworks for fault-tolerance in complex interacting programs, contributing to the CYCLIC project involving collaboration among five Dutch universities.
PhD Position on Liveness from Causality Analysis
Designation
PhD Candidate in Causality Analysis for Liveness Issues
| Details | Information |
|---|---|
| Hours | 40 hours per week |
| Salary | €2,901 – €3,707 gross/monthly |
| Deadline for Application | May 23, 2025 |
Research Area
- Formal Methods
- Logic and Semantics
- Program Verification
- Causality Analysis
- Interacting Systems
- Fault-Tolerance Techniques
Location
University of Twente, Enschede, Netherlands
Eligibility/Qualification
- Master’s degree (or soon to be completed) in Computer Science, Mathematics, or related field.
- Strong problem-solving and analytical skills.
- Affinity with formal methods, logic, and program verification.
- Interest in coalgebras, session types, causal reasoning, liveness analysis, and recovery techniques.
- Fluent in English with excellent communication skills.
- Ability to work in an interdisciplinary and international environment.
Description
In this role, the selected PhD candidate will explore advanced frameworks to analyze liveness violations and develop algorithms for causality-based analysis aimed at recovery from failures in interactive systems. The position combines theoretical research with practical application, offering a chance to work in a dynamic and collaborative academic environment.
Key Responsibilities
- Identify realistic constraints for effective liveness analysis.
- Develop frameworks based on causal models and coalgebraic session types.
- Design algorithms for detecting and recovering from liveness violations.
How to Apply
Interested candidates should submit their application through the University of Twente’s centralized recruitment page. Include a CV, motivation letter, and a list of publications if applicable.
- Application Link: Apply Now
Last Date for Apply
May 23, 2025
For any inquiries regarding this position, please contact Georgiana Caltais at g.g.c.caltais@utwente.nl.
