Skip to content

Feed Discover Opportunities

For youAllInstitutions

Search your matches, a field, a place

Jobs Programmes Internships Schools Funders Conferences Journals Institutions

Your top matches

Ranked against your profile

Finding your best matches

pitute
Opportunities
PhD student in computer science: set-theoretic types for dynamic languages (M/F)

PhD position · CNRS

PhD student in computer science: set-theoretic types for dynamic languages (M/F)

Official source · emploi.cnrs.fr

Type: PhD position
Organisation: CNRS
Location: PARIS 13, France
Deadline: 23 October 2026
Found: 13 October 2026

About this listing

The recruited person will work at the Institut de Recherche en Informatique Fondamentale (IRIF, UMR 8243, CNRS and Université Paris Cité), Bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris, in the "Proofs, programs and systems" research pole.The thesis will be supervised by Giuseppe Castagna (CNRS senior researcher, IRIF) and co-supervised by Kim Nguyen (associate professor, LMF,...

Last checked 15 October 2026.

More open listings

M/F Post-doctoral fellow in electrochemistry and surface chemistryCNRS · ANGERS, France · Closes 16 October 2026
M/F Postdoctoral Research PositionCNRS · MONTPELLIER, France · Closes 16 October 2026
Post-doctoral researcher in FRET microscopy applied to mitochondrial imaging (M/F)CNRS · RENNES, France · Closes 16 October 2026
M/F / PostDoc / Energy-proportional on-chip communication networks for multi-chiplet systemsCNRS · MONTPELLIER, France · Closes 16 October 2026
Glacio-hydrological Modeling of the Buffer Role of Glaciers (Alps and Andes) in the Face of Climate Change (M/F)CNRS · ST MARTIN D HERES, France · Closes 16 October 2026

Find the openings that fit you

pitute reads scholarships, PhD posts, postdocs and grants from official sources worldwide, checks who can apply, and tells you which ones fit your profile. Free to join.

Join pitute Sign in