Post doc available at the IT University of Copenhagen

Post doc available at the IT University of Copenhagen

[Rasmus Ejlers Møgelberg]

Dear all,

I have recently received a grant from the Danish Council for Independent Research to hire a post doc to work on guarded recursive types in type theory. Ideally, I would like to find someone who has both knowledge of categorical models of type theory and practical experience with proof assistants.

The job is initially for one year, but with the possibility of extension for another two. Those interested should contact me. More details can be found here:
https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&departmentId=3439&ProjectId=180662&MediaId=5

Rasmus Mogelberg



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Post doc available at the IT University of Copenhagen

[Rasmus Ejlers Møgelberg]

[-- Attachment #1: Type: text/plain, Size: 108 bytes --]

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


[-- Attachment #2.1: Type: text/plain, Size: 599 bytes --]

Dear all,

I have recently received a grant from the Danish Council for Independent Research to hire a post doc to work on guarded recursive types in type theory. Ideally, I would like to find someone who has both knowledge of categorical models of type theory and practical experience with proof assistants.

The job is initially for one year, but with the possibility of extension for another two. Those interested should contact me. More details can be found here:
https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&departmentId=3439&ProjectId=180662&MediaId=5

Rasmus Mogelberg


[-- Attachment #2.2: Type: text/html, Size: 1207 bytes --]