Poste de doctorat, sujet ouvert - Qualité et vérification des logiciels, codage et IA, sécurité des logiciels (h/f/d)

À propos de cette offre

Le groupe offre un environnement de recherche dynamique dans le domaine de la qualité des logiciels, de la sécurité, de la vérification et des systèmes logiciels assistés par IA. Les doctorants disposent d'une grande liberté pour développer une direction de recherche individuelle, en choisissant et combinant des sujets qui s'alignent avec nos activités de recherche plus larges. Les axes actuels incluent, par exemple, la vérification des logiciels, les e-graphs, l'Infrastructure as Code, la génération de code assistée par IA, les tests logiciels, les logiciels local-first et les CRDT.
Nous publions dans des revues internationales de premier plan dans plusieurs domaines et bénéficions d'un financement compétitif de grands bailleurs nationaux et européens, notamment le Fonds national suisse de la recherche scientifique (FNS) et Horizon Europe. Le poste offre l'opportunité de contribuer à une recherche reconnue internationalement et de collaborer au sein d'un solide réseau académique international.

• Développer un sujet de recherche doctoral individuel en sélectionnant et, le cas échéant, en combinant des axes de recherche en génie logiciel, sécurité, vérification et IA.
• Les sujets possibles incluent la vérification des logiciels, les e-graphs et la saturation d'égalité, l'Infrastructure as Code, la génération de code assistée par IA et le développement logiciel, les tests logiciels, les logiciels local-first, les systèmes distribués et les CRDT.
• La direction précise de la recherche sera définie avec le candidat en fonction de ses intérêts et de son parcours ainsi que des activités de recherche en cours dans l'environnement de recherche.

• Excellente maîtrise en informatique, génie logiciel ou dans un domaine étroitement lié.
• Fort intérêt pour la recherche dans un ou plusieurs domaines du génie logiciel, des langages de programmation, de la sécurité des logiciels, des méthodes formelles, de la vérification des logiciels, des systèmes distribués ou de l'intelligence artificielle.
• Solides compétences en programmation et développement logiciel. Intérêt à la fois pour la recherche conceptuelle et pour la mise en œuvre et l'évaluation expérimentale de prototypes de recherche.
• Connaissances de base préalables sur des sujets tels que les méthodes formelles, l'analyse de programmes, les tests logiciels, la sécurité, les systèmes distribués, l'apprentissage automatique.
• Capacité à travailler de manière autonome et à développer des idées de recherche originales.
• Solides compétences analytiques et en résolution de problèmes.
• Excellente maîtrise de l'anglais écrit et parlé.
• Curiosité, créativité et enthousiasme pour travailler dans un environnement de recherche international.

"Un lieu où le savoir se crée" - En tant que l'une des principales universités européennes d'économie et de gestion, l'Université de Saint-Gall (HSG), en Suisse, s'engage à former plus de 10 000 étudiants. La HSG est l'un des plus grands employeurs de la région et offre un environnement attractif et innovant à plus de 3 800 chercheurs, enseignants et personnels professionnels.