Sort by
Refine Your Search
-
. 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
-
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
-
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
-
sea ice and increasing sea surface temperature in the Arctic change the physical and chemical conditions in the water column influencing the community composition and productivity of plankton – the base
-
. 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
-
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
-
. 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