-
• Supervision of interns, collaboration with PhD students The team investigates logical foundations and formal methods for quantum programming languages leveraging on a strong expertise in linear logic, lambda
-
through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The PhD will be completed
-
engineering; Formal methods, models, and languages; Interactive and cognitive systems; Distributed systems, parallel computing, and networks. The successful candidate will work closely with teams specializing
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions