Foundations of Computing The Australian National University in Australia

Marcelo d'Amorim, Associate Professor in Computer Science at North Carolina State University, is recruiting two highly motivated PhD students to join his team. The research focus is software bug finding, with an emphasis on bugs in software systems including AI/ML systems. This opportunity is well suited to applicants interested in software testing, debugging, program analysis, and dependable AI/software engineering research. The post is a PhD opening at North Carolina State University in the Un...

Several research and technical positions are advertised in Aachen, Germany, including PhD , postdoc , software developer , and student research assistant roles. The opportunity appears to be connected to computer science , software engineering , and related information technology areas. The post is shared by Raj K. Khan , an Assistant Professor at Thapar Institute of Engineering and Technology . A LinkedIn profile is included, and the vacancy link points to a separate page with the detailed open...

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 . This postdoctoral opportunity sits at the intersection of Agentic AI , AI security , trustworthy AI , software engineering , and cybersecurity . The successful candidate will contribute to research and development on methods, tools, and platforms that support the safe deployment of AI systems...

FORM at the University of Southern Denmark is hiring PhD students and postdocs in formal methods , programming , verification , Lean , and CSLib . The post invites applicants to join the Centre for Formal Methods and Future Computing (FORM) and notes that there are many possible projects available. Candidates may also propose their own research project, making this a flexible opportunity for students and researchers with interests in rigorous software and system reasoning. Research areas: formal...

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 project sits at the intersection of Agentic AI, AI Security, Trustworthy AI, Software Engineering, and Cybersecurity . The selected doctoral researcher will investigate software engineering practices for machine learning, define quality and security principles for machine learning system...