Sort by
Refine Your Search
-
design and verification, ASIC design flows and relevant EDA tools Understanding of hardware-software co-design, including translating algorithms or software workloads into hardware architectures Where
-
, accounting software, and analysis of public finance. Working knowledge of economic development research methods, theories, and analyses. Knowledge, Skills, and Abilities (KSAs) Knowledge of information systems
-
Regulations No. 155 and No. 156 regarding automotive cybersecurity; Professional and/or research experience with the AUTOSAR standard and associated automotive software architectures; Experience with
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus