-
requirements and report results Implement and open-source proof-of-concept software tools Collaborate with other researchers of the IPBG ATLAS program For further information, please contact and Your profile
-
to financial operations Develop systems for automated regulatory compliance checks, fraud detection, risk analysis, or smart contract orchestration Investigate the integration of agentic reasoning with financial
-
our partners. For further information you may check: www.securityandtrust.lu and https://uni.lu/snt-en/research-groups/finatrax We're looking for people driven by excellence, excited about innovation
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions