Logic List Mailing Archive

CfA: 4y PhD/Postdoc Project TAIGER: Training and Guiding AI Agents with Ethical Rules, TU Wien (Austria), deadline: 20 Jan 2024

=== Moderator: At times emails get filtered by the system for no apparent reason.
While being unable to circulate the original email, I can at least circulate the most relevant information.
Apologies to the original senders.  ====


The Trustworthy Cyber-Physical Systems Group at TU Wien is seeking a candidate for a PhD research position (four years, 30hours/week)
or a postdoctoral research position (two years, 40hours/week), starting as soon as possible. The successful applicant will carry out his/her postdoc/PhD
in the research area of formal methods applied to guide autonomous agents based on reinforcement learning. The position is in the context of the
research project TAIGER: Training and Guiding AI Agents with Ethical Rules, aiming at designing autonomous agents sensitive to (ethical, legal and social) norms.

More on the TAIGER project can be found here: https://taiger.logic.at/abstract

The full call for applications can be found here: https://www.vcla.at/2023/12/phd-postdoc-position-project-taiger/

Application deadline is 20 January 2024
---
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php