-
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
-
of Professional Associations. Further information on qualification requirements and job content may be found in the Memorandum on Job Structure for Academic Staff at Danish Universities . Salary depends
Searches related to structure
Enter an email to receive alerts for structure positions in computer-science