PostDocs in Verification and Certification
Please note that the job is no longer active!
PostDoc in Theoretical Computer Science, at ENS Lyon, France.
We look for candidates with a strong background in one of the three above fields: automata theory, calculus of relations, proof assistants.
Nr of positions available : 3
Computer science - Other
First Stage Researcher (R1)
Comment/web site for additional job details
To better plan and organise their stay in a foreign European country, researchers and their families can also benefit of the free and personalised assistance offered by the EURAXESS Services Centres, a network of more than 200 centres located in 40 different European countries.
46 allée d'Italie
Publish your job vacancies & fellowship programmes or Post your CV
ERC National Contact Points