Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- University of Luxembourg
- Chalmers University of Technology
- Aarhus University
- Instituto Superior de Engenharia do Porto
- KU LEUVEN
- NEW YORK UNIVERSITY ABU DHABI
- The University of Chicago
- Umeå University
- University of Colorado
- University of Glasgow
- University of Manchester
- University of Nevada Las Vegas
- University of Porto
- University of Southern Denmark (SDU)
- Western Norway University of Applied Sciences
- Aalborg Universitet
- Baylor University
- Cornell University
- Delft University of Technology (TU Delft)
- Durham University
- FEUP
- Fondazione Bruno Kessler
- Graz University of Technology
- Imperial College London
- Imperial College London;
- Inria
- Institut d'Investigacio Biomedica de Bellvitge (IDIBELL)
- Instituto Português do Mar e da Atmosfera, I.P.
- Jagiellonian University
- Johannes Kepler University
- KTH Royal Institute of Technology
- Luxembourg Institute of Science and Technology
- Luxembourg Institute of Science and Technology (LIST)
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- New York University
- Research Center Borstel - Leibniz Lung Center
- SINGAPORE MANAGEMENT UNIVERSITY
- Stanford University
- Technical University of Munich
- Universidade de Aveiro
- Universidade de Coimbra
- University of A Coruña
- University of Aveiro
- University of Bristol
- University of North Carolina at Chapel Hill
- University of Nottingham
- University of Sheffield
- University of South-Eastern Norway
- University of Texas at Austin
- University of Twente (UT)
- University of Vienna
- University of Warwick
- Università degli Studi di Firenze
- Utrecht University
- Warsaw University of Technology
- Washington State University
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- 49 more »
- « less
-
Field
-
(50%); 2. Experience in the use of optimization software (CPLEX and/or Gurobi) (50%). The jury responsible for the selection process will consist of: • Professor (PhD) , Ana Maria Marques de Moura
-
to represent and model expectations using formal methods, develop techniques that help a system reason about human expectations at runtime, and evaluate the contributions using simulations and experiments with
-
, and the advancement in AI methods for applications in cybersecurity contexts. TruX conducts research in software security, software repair, and explainable software to create key practical solutions
-
, under the following conditions: 1. Scientific Area: Chemistry 2. Financing Source: Service Provision Agreement with SAMARCO Mineração S.A. 3. Admission Requirements: - PhD in Chemistry. 4. Other
-
(https://endomic.github.io) aims to develop artificial intelligence and statistical-learning methods capable of identifying robust and clinically meaningful disease endotypes from heterogeneous, multimodal
-
security, privacy-preserving computing, applied cryptography, formal methods for security, security of machine learning systems, machine learning for security, hardware security, IoT and cyber-physical
-
Responsibilities Teaching as needed, particularly in the area of "Cryptology & Privacy" Scientific research in the field of symmetric cryptography Developing new methods for the design, cryptanalysis, and formal
-
, Data Science, Software Engineering, Human-AI Interaction, or a related field Proficiency in research methods commonly used in IS research, such as design science research Strong interest in publishing in
-
EXPERIENCE in: Scientific/Academic writing Research methodology (Quant or Mixed Methods) Experience with statistical software (e.g., R, Mplus, SPSS, etc.) Credentials must be obtained prior to the start date
-
developing generic tools that take a declarative problem description and automatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal