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
- Durham University
- 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
- 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
- University of Toronto
- 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
-
Algorithm Developer (KTP Associate) ( Job Number: 25001803) Department of Mathematical Sciences Grade 7: - £41,064 - £46,049 per annum Fixed Term - Full Time Contract Duration: 18 months Contracted
-
(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
-
. These methods are implemented in practical lab work done in teams. Oral skills are developed in tutorials and team discussions and by making formal presentations. Written skills are developed in reports related
-
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