Postdoctoral researcher (M/F) Dynamic and Arithmetic Aspects of Verification

Job title:

Postdoctoral researcher (M/F) Dynamic and Arithmetic Aspects of Verification

Company:

Job description

Offer DescriptionThe research will be conducted within the framework of the ERC Synergy DynAMICs (Valérie Berthé, Florian Luca, and Joël Ouaknine). Topics of interest include, but are not limited to, the study of linear dynamical systems, symbolic dynamics, recurrence sequences, verification, and the logical aspects of verification.– Research within the framework of the Automata and Applications group
– Participation in the research seminar and group discussions
– Participation in meetings, research seminars, and discussions held within the ERC Dynamics
– Supervision of interns, collaboration with PhD studentsThe research will take place within the Automata and Applications team, whose work focuses both on fundamental questions in automata theory and on algorithmic issues arising from practical problems.Where to apply WebsiteRequirementsResearch Field Physics Education Level PhD or equivalentLanguages FRENCH Level BasicResearch Field Physics Years of Research Experience NoneAdditional InformationEligibility criteria– PhD in theoretical computer science or mathematics
– Ability to conduct a research project independently
– Write scientific papers and present research at seminars
– Organizational and collaborative skills
– Strong academic proficiency in English (C1)
– Expertise in dynamical systems and verification is an advantage

Website for additional job detailsWork Location(s)Number of offers available 1 Company/Institute Institut de Recherche en Informatique Fondamentale Country France City PARIS 13 GeofieldContact CityPARIS 13STATUS: EXPIREDShare this page

Expected salary

Location

Paris

Job date

Tue, 24 Dec 2024 23:21:53 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesineu.com) you saw this job posting.