Sort by
Refine Your Search
-
experience with machine learning libraries (e.g., PyTorch, Scikit-learn, Hugging Face Transformers) and tools for efficient software development (e.g., Co-pilot, Cursor). Desirable: Basic knowledge of data
-
efficient software development (e.g., Co-pilot, Cursor LanguagesPOLISHLevelExcellent LanguagesENGLISHLevelExcellent Additional Information Benefits Why join the AITAX project? 🌍 Make a Difference: Work on a
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions