PhD

Fully Funded PhD in Software Systems - Reliability, Security & Efficiency (Verification / CRDTs / AI Testing / IaC) - Flexible Topic - #Lean #Scala

Posted Sep 11, 2026 by Inested Assistant

Summary

PhD Opening in Our Group - Fully Funded - Flexible Research Topic We have an opening for a PhD position in our group, with considerable flexibility in choosing the research topic . Our research focuses on improving the reliability, security, and efficiency of software systems . Possible Topics Include: • Software verification (e.g., using e-graphs) • CRDTs • AI-based test generation and property-based testing • Security of Infrastructure as Code…

PhD Opening in Our Group - Fully Funded - Flexible Research Topic

We have an opening for a PhD position in our group, with considerable flexibility in choosing the research topic. Our research focuses on improving the reliability, security, and efficiency of software systems.

Possible Topics Include:
• Software verification (e.g., using e-graphs)
• CRDTs
• AI-based test generation and property-based testing
• Security of Infrastructure as Code and cloud deployments

Candidates can choose among these areas or combine them in a way that aligns with their interests and our research directions.

And yes, we have a soft spot for #Lean and #Scala.

Apply / Learn More: https://jobs.unisg.ch/offene-stellen/phd-position-open-topic-software-quality-and-verification-coding-and-ai-software-security-m-w-d/753a1cf9-c5cb-42f9-a7fa-0eec79987c5c

#PhDPosition #FullyFundedPhD #SoftwareEngineering #Verification #CRDT #AI #Testing #CyberSecurity #IaC #Lean4 #Scala

Sign in for the full listing

Create a free account to see the full description, contact details and flyer, and to save or apply.

Create account

Fully Funded PhD in Software Systems - Reliability, Security & Efficiency (Verification / CRDTs / AI Testing / IaC) - Flexible Topic - #Lean #Scala

Summary

Sign in for the full listing

More scholarships