Post-Doctoral Research Visit F/M Post-doc in formal verification

TN France; Rennes; Hybride; EUR 35 000 - 55 000; Plein temps

Résumé du poste

An innovative research group is seeking a post-doctoral researcher for a 12-month position in Rennes. This exciting role focuses on formal verification and testing of real-time systems, utilizing advanced techniques like reinforcement learning and timed automata. The position offers a unique opportunity to contribute to cutting-edge research while collaborating with esteemed institutions. With flexible working hours and the possibility of teleworking, this role is perfect for those passionate about formal verification and eager to make a significant impact in the field. Join a dynamic team dedicated to pushing the boundaries of technology and research.

Prestations

Partial reimbursement of public transport costs

Possibility of teleworking (up to 90 days per year)

Flexible working hours

Qualifications

• Strong background in formal verification theory and solid publication record.
• Experience or interest in implementing formal verification tools.

Responsabilités

• Conduct research on formal verification and testing of real-time systems.
• Develop black-box testing algorithms for timed automata using reinforcement learning.

Connaissances

Formal Verification Theory

Reinforcement Learning

Timed Automata

Game Theory

Temporal Logics

Automata Learning

Formation

PhD in Computer Science or related field

Outils

Formal Verification Tools

Description du poste

Post-Doctoral Research Visit F/M Post-doc in formal verification, Rennes

Client:

INRIA

Location:

Rennes, France

Job Category:

Research, Formal Verification

EU work permit required:

Yes

Job Reference:

9b662bd811c8

Job Views:

1

Posted:

29.04.2025

Expiry Date:

13.06.2025

Job Description:

The research group is part of a joint research center involving INRIA, CNRS, and Université de Rennes. We are seeking a post-doctoral researcher for a 12-month position focused on formal verification and testing of real-time systems using timed automata, game theory, reinforcement learning, temporal logics, and automata learning.

The project will explore reinforcement learning techniques to develop black-box testing algorithms for timed automata. Candidates should have a strong background in formal verification theory, a solid publication record, and ideally, experience or interest in implementing formal verification tools.

Interested applicants should apply via this website by submitting a CV.

Benefits:

• Partial reimbursement of public transport costs
• Possibility of teleworking (up to 90 days per year) and flexible working hours