Trustworthy Soft Automata: Verification‑Driven PhD

1000scholars; Rennes; On-site; EUR 20,000 - 27,000; Full time

Benefits offered by this job

Health insurance

Transportation expenses

Job summary

INRIA Rennes invites applications for a PhD position within SAIF: Safe AI through Formal methods. The project explores “soft automata” learned from traces, combining system theory, statistics, optimization, and formal methods to guarantee properties of dynamic models.

The candidate will work on RNNs, LSTMs, transformers, and state-space models, investigating robustness to noise and data quality, with focus on verification techniques for neural networks.

Qualifications

• Solid background in mathematics and a taste for formal methods.
• Ability to perform experimental work using standard machine learning libraries.
• Interest in learning automata from traces and neural architectures.

Responsibilities

• Pursue theoretical research within the Safe AI through Formal methods project.
• Prototype and experiment with original algorithms using ML libraries.
• Design experiments, run simulations, and analyze results.

Skills

Mathematics

Formal methods

Machine learning libraries

Education

Master's in CS

Tools

Python

PyTorch

Job description

INRIA Rennes invites applications for a PhD position within SAIF: Safe AI through Formal methods. The project explores “soft automata” learned from traces, combining system theory, statistics, optimization, and formal methods to guarantee properties of dynamic models.

The candidate will work on RNNs, LSTMs, transformers, and state-space models, investigating robustness to noise and data quality, with focus on verification techniques for neural networks.