Sort by
Refine Your Search
-
Department of Computer Science at Aarhus University (Denmark) invites applications for a 2-year Postdoctoral Research Fellow position with focus on Algorithmic Verification of Database Systems. Role
-
. Responsibilities: Conduct research in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function
-
. The fellowship will focus on the damage evolution and formation of fractures in ice sheets. The successful applicant will be part of the research center PRECISE (PREdicting Changes in Ice Sheets on Earth) (https
-
At the Technical Faculty of IT and Design, Department of Computer Science, one PhD stipend/Integrated PhD stipend in theories for programming semantics, methods for verification and reliability
-
. We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or
-
verification of their activity and benchmarked against known enzymes. Electrospinning will be used to recycle textile fibers as well as to generate substrates with different material composition and
-
adjustment (GIA), elastic deformation, and ice mass changes. You are expected to, Coordinate field logistics for field campaigns in Greenland. Create and analyze GNSS-IR time series for coastal GNET stations