2 Jobs found

Do you want to grow with us?ASSA ABLOY ENTRANCE SYSTEMS` GRADUATE PROGRAMASSA ABLOY Entrance Systems’ Graduate Program is your opportunity to gain international experience while developing your skills in accounting and financial operations. You’ll spend time in Denmark and three other European countries, learning about our business and how finance supports our organization.If you live in Denmark, and if you have an education in economy e.g. bachelor’s or master’s degree in accounting, finance, business administration, or a related field – we are looking forward to receiving your application! The ASSA ABLOY Entrance Systems Graduate Program will run for a total of 24 months on a permanent contract. You will be hired in NASSAU Door A/S which is a subgroup of ASSA ABLOY. NASSAU is located in ...

The Department of Computer Science, Aarhus University invites applications for postdocs and PhD students.Supported by a generous ERC Advanced Grant and a Villum Investigator Grant from Villum Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University.The research topics at the Center for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org), e.g., to reason about distributed systems; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program lo...