Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- University of Aveiro
- Technical University of Denmark
- University of Luxembourg
- University of Southern Denmark
- ;
- California State University, San Bernardino
- KINGS COLLEGE LONDON
- NTNU Norwegian University of Science and Technology
- Universidade de Aveiro
- University of Sheffield
- University of Texas at Austin
- Université catholique de Louvain
- Aveiro University
- Cornell University
- Duke University
- NTNU - Norwegian University of Science and Technology
- Nova School of Business and Economics
- Oak Ridge National Laboratory
- Stanford University
- Technical University of Munich
- Umeå University
- University of Bergen
- University of Glasgow
- Adam Mickiewicz University, Poznań
- CNRS
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e); yesterday published
- IRIT, Université de Toulouse
- NEW YORK UNIVERSITY ABU DHABI
- North Carolina State University
- Northeastern University
- Peace Research Institute, Oslo (PRIO)
- Politécnico de Leiria
- UiT The Arctic University of Norway
- Umeå universitet
- Universidad de Alicante
- Universidade de Coimbra
- University of Minnesota
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- Argonne
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- CNR
- Canadian Association for Neuroscience
- Carnegie Mellon University
- Centro de Computação Grafica
- Chalmers University of Technology
- Cranfield University
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Erasmus University Rotterdam
- Faculdade de Ciências e Tecnologia
- Faculdade de Medicina da Universidade do Porto
- Faculty of Sciences of the University of Porto
- Faculty of forestry and wood technology
- Grenoble INP - LCIS
- Gulbenkian Institute for Molecular Medicine
- Heriot Watt University
- INESC ID
- Imperial College London
- Institute of Public Health University of Porto
- Institute of Systems and Robotics-Faculty of Sciences and Technology of the University of Coimbra
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Instituto Superior de Agronomia
- Instituto Superior de Engenharia do Porto
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Jagiellonian University
- King's College London
- Leibniz
- Linköpings universitet
- Medical Research Council
- Nanyang Technological University
- State University of New York University at Albany
- Texas A&M TVMDL
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- The University of Chicago
- The University of Manchester
- Télécom Paris
- UNIVERSIDADE DE ÉVORA
- UNIVERSITY OF SYDNEY
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Universidade Católica Portuguesa - Porto
- University of Amsterdam (UvA); Published today
- University of Birmingham
- University of British Columbia
- University of California, Berkeley
- University of Colorado
- University of Iceland
- University of Illinois at Urbana Champaign
- University of Kansas Medical Center
- University of Nebraska–Lincoln
- University of Nevada Las Vegas
- University of Nevada, Reno
- University of Newcastle
- University of Porto
- 90 more »
- « less
-
Field
-
about tackling both deep research challenges and real-world software problems, this project is for you. Seeking a PhD student who values the strengths of formal reasoning while recognizing its current
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
strong expertise in the application of artificial intelligence for cybersecurity (prof. dr. Harald Vranken and dr. Mina Sheikhalishahi) as well as formal methods and software testing (prof. dr. Tanja Vos
-
techniques, and (4) experience in method development within large software packages. We also expect experience in programming, motivation and independence in solving scientific problems. The call is open to
-
. dr. Harald Vranken and dr. Mina Sheikhalishahi) as well as formal methods and software testing (prof. dr. Tanja Vos and dr. Tim Steenvoorden). The PhD project will be carried out in close cooperation
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
, personal growth, and mentoring for starting independent research groups. The section’s current research covers a wide range of areas and topics that include symbolic AI and formal methods (logic, theorem
-
models in the form of prototypical software. About the position The position provides you with the opportunity to pursue PhD studies in Computing Science for four years, with the goal of achieving
-
therefore essential for trustworthy deployment. Current approaches mainly focus on software-level adversarial robustness or high-level fault tolerance. However, few methodologies jointly consider physical
-
Job Description 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
-
to have knowledge of discrete-event systems, and knowledge of or interest in learning about formal methods, in particular, the theory of Supervisory Controller Synthesis. PhD 4: AI-driven legacy system