-
construction of digital systems guided by rigorous mathematical foundations. Towards which, our current main instrument is the Computer Science Library (CSLib) in the Lean programming technology . CSLib is a
-
to the Ministerial Order on the Appointment of Academic Staff at Danish Universities under the Danish Ministry of Science, Technology and Innovation . The application must be in English and include a curriculum vitae
Searches related to engineering
Enter an email to receive alerts for engineering positions in computer-science