~ Academic Positions in Formal Methods (postdoc, assistant prof., associate prof.) and Programming Languages (postdoc) ~

The first positions at the Centre for Formal Methods and Future Computing (FORM, https://www.sdu.dk/form) are here! Among other projects, FORM is also working on the formalisation of computer science as part of a global initiative, CSLib, in @leanprover.

(1/3)

#formalMethods #LeanProver #typeTheory #programmingLanguages #academicJobs #fediHire #FORMSDU #SDUDK #CSLib

@fmontesi will be the first director of the new Centre for Formal Methods and Future Computing (FORM) here at the University of Southern Denmark!

Among other things, the Centre will work on the development of @leanprover's CS Library, where Fabrizio already serves as a member of the steering committee.

Interested in research in formal methods? Please expect job announcements very soon.

https://sdu.dk/form

#formalMethods #LeanProver #CSLib #programmingLanguages #FORMSDU #SDUDK