Sort by
Refine Your Search
-
should have knowledge in the following tools used for the analysis and synthesis of antennas: CST Microwave Studio OpenEMS (free and open electromagnetic field solver using the FDTD method) Matlab Convex
-
the following activities: Conduct highly innovative research in the intersection of cybersecurity and safety-critical systems, in dependability methods and solutions and in architectures and systems that support
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions