Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
in generating answers in the form of answer maps. You will explore these challenges together with the Principal Investigator as well as a postdoctoral researcher and two PhD candidates. We are looking
-
Jonathan Taylor and in collaboration with Edinburgh University. Specifically, the job requires expert knowledge in software for realtime microscope control and image processing, and electronic control
-
following: A strong background in cybersecurity, security risk management, formal methods/verification, game-theoretic security analysis, and artificial intelligence methods. Familiarity with standards like
-
will combine modern AI/LLM-based code generation with formal methods to produce software that is both fast to create and provably trustworthy. The position is part of SAFIR (Secure AI for Intelligent
-
Researcher (R1) Positions PhD Positions Application Deadline 31 Aug 2026 - 13:00 (Europe/Rome) Country Italy Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework
-
into real impact. Computing Science At the division of Computing Science , we advance secure and trustworthy software and systems, spanning foundations, programming languages, tools and practical methods
-
(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