Håkon Robbestad Gylterud
2018-11-22 17:22:45 UTC
Hi all,
There are several PhD positions available at the Department of
Informatics at The University of Bergen, and formal methods (in type
theory, which includes Agda) are among the directions especially
mentioned in the announcement.
If this sounds interesting, the details available here:
https://www.jobbnorge.no/en/available-jobs/job/160197/phd-position-4-in-computer-science
Note the short application deadline!
Best regards,
—Håkon Robbestad Gylterud
There are several PhD positions available at the Department of
Informatics at The University of Bergen, and formal methods (in type
theory, which includes Agda) are among the directions especially
mentioned in the announcement.
If this sounds interesting, the details available here:
https://www.jobbnorge.no/en/available-jobs/job/160197/phd-position-4-in-computer-science
Note the short application deadline!
Best regards,
—Håkon Robbestad Gylterud