Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Nature Careers
- University of Southern Denmark
- Aalborg University
- ;
- Cornell University
- University of Aveiro
- University of Sheffield
- University of Texas at Austin
- Aalborg Universitet
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- IRIT, Université de Toulouse
- KINGS COLLEGE LONDON
- Medical Research Council
- North Carolina State University
- Stanford University
- University of Glasgow
- University of Minnesota
- University of Nebraska–Lincoln
- University of Oslo
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- Aveiro University
- Carnegie Mellon University
- Cranfield University
- Delft University of Technology (TU Delft)
- Duke University
- Faculdade de Medicina da Universidade do Porto
- Faculty of forestry and wood technology
- Grenoble INP - LCIS
- Gulbenkian Institute for Molecular Medicine
- Imperial College London
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Jagiellonian University
- King's College London
- Loyola University
- Loyola University Chicago
- NTNU Norwegian University of Science and Technology
- State University of New York University at Albany
- Technical University of Munich
- Texas A&M TVMDL
- Umeå University
- Umeå universitet
- Universidad de Alicante
- Universidade Católica Portuguesa - Porto
- Universidade de Aveiro
- University of British Columbia
- University of Colorado
- University of Illinois at Urbana Champaign
- University of Luxembourg
- University of Michigan
- University of Nebraska Lincoln
- University of Nevada Las Vegas
- University of Nevada, Reno
- University of New South Wales
- University of Silesia in Katowice
- University of Texas at El Paso
- Université de Toulouse
- Washington State University
- 47 more »
- « less
-
Field
-
The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle) seek
-
(Level B) PhD in computer science or a related discipline with focus on formal methods. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving
-
, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods for monitoring, evaluating, and improving LLM robustness, e.g. building
-
development and agentic systems, automated software engineering, software security and trustworthy systems, quality assurance and testing, software architecture, formal methods, and research addressing any
-
(Temporary) PhD in systems biology, AI, ML, engineering, mathematics, biological engineering, biophysics, or related field plus two (2) years of post-degree experience designing and applying AI/ML methods
-
memorization in LLMs Analysis of vulnerabilities in low-resource language settings, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods
-
the technology by multidisciplinary audiences. Our team is composed of computational- and experimental scientists, and software- and Artificial Intelligence/Machine Learning engineers. Want to leverage your skills
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
Job Description The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle
-
of interest include AI-enabled software development and agentic systems, automated software engineering, software security and trustworthy systems, quality assurance and testing, software architecture, formal