Sort by
Refine Your Search
-
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 of the position
-
: Experience with ecological datasets or biodiversity applications Experience with hardware integration, embedded systems, or edge computing (not required but beneficial) A track record of publishing technical
Searches related to hardware verification
Enter an email to receive alerts for hardware-verification positions