PhD Position in Software Quality, Verification, AI, and Security at University of St.Gallen, Switzerland
📋 About This Opportunity
SummaryThe University of St.Gallen (HSG) is offering a fully funded PhD position within the Institute of Computer Science, led by Prof. Salvaneschi. This opportunity allows candidates to pursue research in an open topic related to software quality and verification, coding and AI, or software security. The position This opportunity was collected by Gabeshana from ResearchersJob. Organization: ResearchersJob. Please visit the original source for complete eligibility requirements, official notification, application instructions and the latest information.
🎯 Eligibility
/QualificationApplicants should meet the following criteria:Excellent Master’s degree in Computer Science, Software Engineering, or a closely related field.Strong interest in research within software engineering, programming languages, software security, formal methods, software verification, distributed systems, or artificial intelligence.Strong programming and software development skills.Interest in both conceptual research and the implementation and experimental evaluation of research prototypes.Previous basic knowledge of topics such as formal methods, program analysis, software testing, security, distributed systems, or machine learning.Ability to work independently and develop origin