[Agda] PhD positions in Computer Science at University of Bergen

[Håkon Robbestad Gylterud]

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