Sort by
Refine Your Search
-
School as a whole. Applicants must submit: A concise statement of motivation for applying for the position (maximum two pages) describing the applicants previous research and how they see their own current
-
. Our current main instrument to pursue this ambition is the Computer Science Library (CSlib) in the Lean programming technology . CSlib is a global effort carried out in collaboration with world-leading
-
mathematical foundations. Our current main instrument to pursue this ambition is the Computer Science Library (CSlib) in the Lean programming technology . CSlib is a global effort carried out in collaboration
-
Curriculum vitae Diplomas (Master and PhD degree or equivalent) Research plan – description of current and future research plans Complete publication list Separate reprints of 3 particularly relevant papers