Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
, see the CertiFOX project page: https://www.bartbogaerts.eu/projects/CertiFOX/ Another long-standing objective is to develop methods by which we can explain the reasoning that leads to a certain
-
communities locally and nationally. The postholder will support the design and conduct of economic evaluations alongside rapid and responsive evaluations, using methods such as cost-effectiveness analysis, cost
-
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal
-
development activities at the intersection of Agentic AI, AI Security, Trustworthy AI, Software Engineering, and Cybersecurity. The group is developing novel methods, tools, and platforms to support the safe
-
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
-
14 Aug 2026 Job Information Organisation/Company Universidade de Coimbra Department SGRH - DRGC Research Field Other Researcher Profile First Stage Researcher (R1) Positions PhD Positions
-
PhD Positions Application Deadline 15 Oct 2026 - 23:59 (Europe/Lisbon) Country Portugal Type of Contract Permanent Job Status Full-time Offer Starting Date 2 Sep 2026 Is the job funded through the EU
-
following: A strong background in cybersecurity, security risk management, formal methods/verification, game-theoretic security analysis, and artificial intelligence methods. Familiarity with standards like
-
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
-
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