- 
                
                
                to gather requirements and report findings. A key aspect of the role involves implementing and open-sourcing proof-of-concept software tools, alongside collaborating with other researchers within the program 
- 
                
                
                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 
Searches related to proof checking postdoc computerscience
  Enter an email to receive alerts for proof-checking-postdoc-computerscience positions