This PhD opportunity is closed.
The page remains available as a historical official source. Please use the related current PhD opportunities or country directory for active options.
BookUNI Summary
PhD position in Computer Science focusing on program verification and logic systems. Candidates should have a strong background in logic; knowledge of the Rocq proof assistant is beneficial.
Application Information
Official Opportunity / Application Page PhDScanner https://www.phdscanner.com/api/opportunities/f6479d79-506c-4925-9854-c34dbd20a4af/applyBookUNI provides a structured summary and route to the public source. Confirm eligibility, documents, deadline, funding and submission rules on the official page before applying.