-
literature using databases such as: PubMed, Scopus; ability to use and understand tools based on large language models, e.g., Microsoft Copilot, Google Gemini, Perplexity AI ability to independently plan and
Searches related to model checking
Enter an email to receive alerts for model-checking positions