No open position matches selected criteria.

PhD Positions on Program Analysis and Verification in the ATOM Research Group

Deadline: Open

The ATOM (Automation in Software and Verification Technology) research group is looking for PhD students to work on practical program analysis and verification, funded by the Swiss National Science Foundation (SNF). [...]