Closing soon
Please confirm the exact local deadline and submission time on the official application page.
BookUNI Summary
PhD position in Computer Science focusing on formal verification of neuro-symbolic cyber-physical systems. Candidates should have a strong background in mathematics, engineering, or computer science and experience in formal verification.
Application Information
Official Opportunity / Application Page PhDScanner https://www.phdscanner.com/api/opportunities/29d7aa40-ac3b-4188-8df3-a866734ac702/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.