Sort by
Refine Your Search
-
qualifications The Researcher will have the opportunity to join a cross-disciplinary, international team working on developing virtual testing and digitalization methods for wind turbine structures and components
-
. We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions