Sort by
Refine Your Search
-
reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains: Designing expressive languages for specifying network behavior Developing verification
-
Computer Science, Electrical Engineering, or related field. Strong proficiency in C/C++ and Linux Systems Programming . Experience with Embedded Linux and Kernel drivers. Bonus Skills (Nice to have
Enter an email to receive alerts for computer-engineering-network-"https:" positions