Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Nature Careers
- ;
- California State University, San Bernardino
- University of Aveiro
- University of Sheffield
- University of Southern Denmark
- Université catholique de Louvain
- Cornell University
- KINGS COLLEGE LONDON
- Stanford University
- University of Glasgow
- University of Texas at Austin
- IRIT, Université de Toulouse
- North Carolina State University
- Universidad de Alicante
- University of Oslo
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- Aveiro University
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Carnegie Mellon University
- Centro de Computação Grafica
- Cranfield University
- 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)
- Instituto Superior de Engenharia do Porto
- Jagiellonian University
- King's College London
- Medical Research Council
- NTNU Norwegian University of Science and Technology
- State University of New York University at Albany
- Technical University of Munich
- Texas A&M TVMDL
- The University of Chicago
- Umeå University
- Umeå universitet
- Universidade Católica Portuguesa - Porto
- Universidade de Aveiro
- University of British Columbia
- University of California, Berkeley
- University of Colorado
- University of Illinois at Urbana Champaign
- University of Luxembourg
- University of Minnesota
- University of Nebraska–Lincoln
- University of Nevada Las Vegas
- University of Nevada, Reno
- University of Texas at El Paso
- Université de Toulouse
- Washington State University
- 44 more »
- « less
-
Field
-
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
-
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
-
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
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
for collaboration, 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
-
the Department of Engineering Your profile Education and Scientific Background PhD in Mathematics, Engineering, or a closely related discipline with a focus on modelling, optimization, or data analysis Detailed
-
CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto | Portugal | 3 days ago
communication, dissemination and exploitation. The candidate must have skills in developing project dissemination materials (website, flyers, roll-up), experience in the use of image editing software and other
-
laboratories and disciplines within the Department of Engineering Your profile Education and Scientific Background PhD in Mathematics, Engineering, or a closely related discipline with a focus on modelling
-
, threats, and mitigations. Structure assets into a formal ontology usable in software/system engineering tools. Formal Taxonomy of Security Properties Refine high-level security goals into verifiable design
-
/candidatOffres/show/id_offre/133503 Requirements Specific Requirements Master’s students Required skills: machine learning, software engineering, cybersecurity, formal methods Additional Information Work Location
-
Professors in Computer Science, with emphasis on Sustainable and AI-driven Software Engineering. The targeted starting period is autumn 2026, with room for flexibility. Hired candidates will join the