Jobs
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). [...]