Publisher
source

Eva Darulova

1 year ago

Computing Science Uppsala University in Sweden

Degree Level

PhD

Field of study

Computer Science

Funding

ERC Starting grant funded project

Deadline

Dec 2, 2001

Country flag

Country

Sweden

University

Uppsala University

Suggested positions

Publisher
source

Pooja Rani

University of Mannheim

Country flag

Germany

Postdoctoral Position in AI/ML for Sustainable Software Engineering at the University of Mannheim , Germany. The Sustainable Software Engineering Group is offering a full-time postdoc (TV-L 13) starting in Dec 2026 (negotiable). The role focuses on AI/ML for sustainable software engineering , with research topics including green software engineering , code performance optimization , source code analysis , and AI/ML methods for software engineering. The position includes teaching and supervision ...

Computer Science
Software Engineering
ML

1 month ago

Publisher
source

Ralf Lämmel

University of Koblenz

Country flag

Germany

Another PhD position is open at SoftLang , Faculty of Computer Science, University of Koblenz . The research focus is AI in software engineering , with examples such as vulnerability detection . This is a strong fit for applicants interested in computer science, software engineering, and applied AI methods. The position is advertised as a 100% TV-L E13 role with initial funding for three years and a reduced teaching obligation . The post indicates that the formal job advertisement is available v...

Computer Science
Information Technology
Artificial Intelligence
+1 more

1 month ago

Publisher
source

University of Luxembourg

Country flag

Luxembourg

Postdoctoral Researcher in Machine Learning Security & Testing at the University of Luxembourg , within the Interdisciplinary Centre for Security, Reliability and Trust (SnT) and the SERVAL research group . The role sits at the intersection of agentic AI , AI security , trustworthy AI , software engineering , and cybersecurity . Research topics include AI agents and computer-use agents, robustness and trustworthiness of AI systems, evaluation/benchmarking/testing of AI systems, runtime monitorin...

Computer Science
Information Technology
Cybersecurity
+2 more

1 month ago

Publisher
source

University of Luxembourg

Country flag

Luxembourg

Doctoral Researcher in Machine Learning Security & Testing at the University of Luxembourg , within the Interdisciplinary Centre for Security, Reliability and Trust (SnT) and the SERVAL research group . This PhD focuses on the intersection of machine learning , software engineering , trustworthy AI , AI security , and cybersecurity . The research topics include software engineering practices for machine learning, defining quality and security principles for ML systems, and designing/testing algo...

Computer Science
Information Technology
Cybersecurity
+2 more

1 month ago

Publisher
source

KU Leuven

Country flag

Belgium

KU Leuven is advertising a PhD position in numerical analysis for high-dimensional function approximation within the research of NUMA in the group of Dirk Nuyens . The project focuses on quasi-Monte Carlo methods for numerical integration and function approximation , especially for high-dimensional problems where sample nodes can be chosen strategically to reduce worst-case error. The research interest includes error analysis over the unit ball of a weighted Sobolev space of dominating mixed smo...

Computer Science
Mathematics
Numerical Analysis
+2 more

1 week ago

Keywords

Computer Science
Numerical Analysis
Software Engineering
Verification And Validation
Computing Science
Numerical Programs
Software Engineering Techniques
Automated Program Verification

About this position

I am looking for PhD students and a postdoc to work with me on my ERC Starting grant funded project. Please share if you know someone who may be interested in (automated) program verification in the context of numerical programs, or software engineering techniques to support the use of such a verifier (e.g. specification inference).
Both PhD students and postdocs are regular employees in Sweden with all benefits that come with that (health care, paid vacation days, parental leave etc.)
Deadline to apply: 2 December
Links to ads: https://lnkd.in/ewJyimkU and https://lnkd.in/esAZxxE8

Funding details

ERC Starting grant funded project

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts and confirm requirements with the university.

Professors

University Name
Country flag

Sweden

Research Interests

Illustration

Biostatistics

Formal Languages

Automated Program Verification

Error Estimation