-
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
-
skills in R and/or Python have excellent communication and writing skills in English have strong academic record What we offer Financial support for one year with a formal evaluation at the end
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions