Postdoctoral Researcher - Adversarial ML & Formal Verification

AI4I; Collegno; On-site; EUR 30,000 - 55,000; Full time

Benefits offered by this job

Competitive salary and bonus incentives

Access to high-performance computing infrastructure

Opportunities for professional development

Job summary

A pioneering AI research institute in Italy is seeking a Postdoctoral Researcher focused on adversarial machine learning and formal verification. This role involves conducting foundational research, developing verification methods, and collaborating with a dedicated team. A PhD in a relevant field and strong programming skills are essential. The position offers competitive pay and significant research impact opportunities within a vibrant technology ecosystem.

Qualifications

• Strong publication record in top-tier conferences or journals in AI Security.
• Knowledge of emerging AI security threats.
• Experience collaborating across disciplines.

Responsibilities

• Conduct foundational research in adversarial machine learning.
• Develop formal verification methods and theoretical frameworks.
• Publish research findings in top-tier academic conferences.

Skills

Proficiency in Python

Experience with C++, Julia, or Rust

Education

PhD in Computer Science, Engineering, or related field

Tools

PyTorch

JAX

Hugging Face Transformers

TensorFlow

Job description

A pioneering AI research institute in Italy is seeking a Postdoctoral Researcher focused on adversarial machine learning and formal verification. This role involves conducting foundational research, developing verification methods, and collaborating with a dedicated team. A PhD in a relevant field and strong programming skills are essential. The position offers competitive pay and significant research impact opportunities within a vibrant technology ecosystem.