📣 Together with @lmf and Irif, we're recruiting a development engineer in formal methods, for a year starting this spring. The location is flexible between the three labs, all located near Paris. Do get in touch!
🔗 https://emploi.cnrs.fr/Offres/CDD/UMR7030-VERCRI-001/Default.aspx
#AcJobs #FormalMethods #DevJobs #Ocaml

⏰ The deadline for Associate Professors jobs is in 3 weeks ! We are a lively research laboratory located north of Paris, with a broad expertise in Computer Science. We're recruiting in:
- Logic, Programming, Complexity
- Combinatorial Optimization :
- Machine Learning
Full details on research and teaching profiles are on our website:
- https://lipn.univ-paris13.fr/poste-de-maitre-de-conferences-en-informatique-au-lipn-uspn-section-27-en-logique-programmation-et-complexite/
- https://lipn.univ-paris13.fr/poste-de-maitre-de-conferences-en-informatique-au-lipn-uspn-section-27-en-optimisation-combinatoire/
- https://lipn.univ-paris13.fr/poste-de-maitre-de-conferences-en-informatique-au-lipn-uspn-section-27-en-intelligence-artificielle/
👩‍🏫 👩‍💻 Do get in touch !
#AcJobs #Postes #Logic #ML #Optimization #Complexity

Postdoctoral opportunity with the Biomimicry Center at #ASU. #postdocposition #postdocjobs #acjobs

They are looking for an applicant familiar with biomimicry and interested in cataloging and analyzing campus projects with biomimetic potential.

https://apply.interfolio.com/120378

📢 Open positions in theoretical computer science at IRIF, Paris

- 3 associate professor positions
- 2 full professor positions

Official announcement in French:
https://www.irif.fr/postes/universite

#AcJobs #TheoreticalCS #logic #algorithms #combinatorics #verification #automata #programming #quantumComputing

✨ We're recruiting 3 recruiting Associate Professors (Maître·sse·s de Conférences) in Computer Science on:
- Logic, Programming, Complexity
- Combinatorial Optimization :
- Machine Learning
Full details on research and teaching duties are on our website:
- https://lipn.univ-paris13.fr/poste-de-maitre-de-conferences-en-informatique-au-lipn-uspn-section-27-en-logique-programmation-et-complexite/
- https://lipn.univ-paris13.fr/poste-de-maitre-de-conferences-en-informatique-au-lipn-uspn-section-27-en-optimisation-combinatoire/
- https://lipn.univ-paris13.fr/poste-de-maitre-de-conferences-en-informatique-au-lipn-uspn-section-27-en-intelligence-artificielle/
👩‍🏫 👩‍💻 Do no hesitate to get in touch !
📆 Application deadline is at the end of *March 2023*.
#AcJobs #Postes #Logic #ML #Optimization