Postdoctoral position theoretical computer science
il y a 4 semaines
29 Nov 2023
Job Information
Organisation/Company
Universite de Montpellier
Department
Human Resources
Research Field
Computer science
Researcher Profile
First Stage Researcher (R1)
Country
France
Application Deadline
15 Dec 2023 – 23:59 (Europe/Paris)
Type of Contract
Temporary
Job Status
Full-time
Hours Per Week
38
Offer Starting Date
1 Jan 2024
Is the job funded through the EU Research Framework Programme?
HE
Reference Number
2024-R0011
Is the Job related to staff position within a Research Infrastructure?
No
Offer Description
Projet « tremplin vers l'ERC » APACE : The APACE project aims at using the links between MSO logic and tree-automata over decomposable graph classes to build an automatic theorem prover. Instead of using the tree-automaton corresponding to an MSO formula for "efficient" model checking (ie, verifying if a given graph has the desired property), we will analyze the tree-automaton to deduce properties of the whole graph class. The first objective is to prove algorithmic meta-theorems relying on this idea. These algorithms will be implemented to form the APACE automatic prover. The final objective is to use the automatic-prover to obtain new collections of results about different decomposable graph classes.
The hired candidate is expected to contribute to the theoretical aspect of this project and in particular to the computational aspect related to bilinear operators.
Requirements
Research Field
Computer science
Education Level
PhD or equivalent
Skills/Qualifications
The applicants are expected to have a background in theoretical computer science. More precisely, the principal expected skills for this project are :
computer algebra,
linear algebra,
graph theory or combinatorics,
The candidates are not expected to be experts in all of these subjects.
Research Field
Computer science
Additional Information
Selection process
Send your CV and cover letter, before 15th of december of 2023, by email at
Work Location(s)
Number of offers available
1
Company/Institute
Laboratoire d'informatique, de robotique et de microélectronique de Montpellier (LIRMM)
Country
France
City
Montpellier
Postal Code
34000
Geofield
Where to apply
Contact
City
Montpellier
Website
Street
163 rue Auguste Broussonnet
Postal Code
34000
STATUS: EXPIRED
View or Apply
To help us track our recruitment effort, please indicate in your email – cover/motivation letter where ) you saw this job posting.
-
Montpellier, Occitanie, France Universite de Montpellier Temps plein15 Nov 2023Job Information Organisation/CompanyUniversite de MontpellierDepartmentHuman ResourcesResearch FieldEngineering » Water resources engineeringResearcher ProfileFirst Stage Researcher (R1)CountryFranceApplication Deadline15 Dec 2023 – 23:59 (Europe/Paris)Type of ContractTemporaryJob StatusFull-timeHours Per Week38Offer Starting Date1 Jan 2024Is...
-
Montpellier, Occitanie, France Universite de Montpellier Temps plein15 Nov 2023Job Information Organisation/CompanyUniversite de MontpellierDepartmentHuman ResourcesResearch FieldEnvironmental science » Water scienceResearcher ProfileFirst Stage Researcher (R1)CountryFranceApplication Deadline15 Dec 2023 – 23:59 (Europe/Paris)Type of ContractTemporaryJob StatusFull-timeHours Per Week38Offer Starting Date1 Jan 2024Is the...
-
BioProcess Account Manager
Il y a 2 mois
Montpellier, Occitanie, France Danaher Corporation Temps pleinBe part of something altogether life-changingWorking at Cytiva means being at the forefront of providing new solutions to transform human health. Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and gene therapies.At Cytiva you will be able to...
-
Directeur de l'innovation pedagogique h/f
il y a 2 semaines
Montpellier, Occitanie, France FLORIAN MANTIONE INSTITUT Temps pleinQuelles sont les missions ?DIRECTEUR DE L'INNOVATION PEDAGOGIQUE (F/H) Sous l'autorité du Secrétaire Général de l'Association régionale, vous serez membre du Codir plénier, au sein de l'équipe régionale composée de 29 collaborateurs.Votre rôle reposera à la fois sur un management : - Direct : auprès d'une équipe de 4 chargés de mission-...
-
Developpeur Software F/H
il y a 7 jours
Montpellier, Occitanie, France GE Vernova Temps pleinJob Description SummaryGE Vernova is a planned, purpose-built global energy company that includes Power, Wind, and Electrification segments and is supported by its accelerator businesses of Advanced Research, Consulting Services, and Financial Services.Building on over 130 years of experience tackling the world's challenges, GE Vernova is uniquely positioned...
-
Docteur R&d
il y a 1 mois
Montpellier, France RD2 CONSEIL Temps pleinDescriptif du poste Dans le cadre du renforcement de ses équipes, notre client cherche à recruter un Docteur R&D (H/F) en Intelligence Artificielle, en particulier disposant d’une expertise en Computer Vision. Rattaché(e) au CTO vous participerez activement au développement et à l’amélioration du produit. **Vos principales missions consisteront...
-
Chercheur Postdoctoral en Biologie
il y a 1 mois
Montpellier, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 27 février 2024 **Informations générales**: **Intitulé de l'offre **:Chercheur postdoctoral en biologie (H/F)** Référence : UMR5535-SARADE-048 Nombre de Postes : 1 Lieu de travail : MONTPELLIER Date de publication : mardi 6 février 2024 Type...
-
Montpellier, France INRIA Temps pleinContexte et atouts du poste This research project is conducted in the framework of the project NOCIME (New Observation and Control Issues Motivated by Epidemiology), funded by the French National Research Agency (ANR) on the period 2024-2026 (three years). We are offering a 2-year position for a young PhD. Contracting may be immediate, and has to be...
-
Science Leader, Urban Food Systems
il y a 3 semaines
Montpellier, France CIP Temps pleinThe International Potato Center (CIP)is looking for an experienced Science Leader, Urban Food Systems to oversight thedevelopment and implementation of an innovative and impactful program ofresearch in support of the ‘Urban Food Systems’ Science Goal of the CIP2030Strategy. The position: The ScienceLeader will lead the development and implementation...
-
Medical Science Liaison
il y a 1 mois
Montpellier, France BioTalent Temps pleinTitle: Medical Science LiaisonLocation: Remote based in France (Travel required – approximately 50-60% of the time across France).Hourly Rate: CompetitiveContract Type: ContractBioTalent is delighted to be partnered with an exciting Biotechnology company and we are on the hunt for a brand-new Medical Science Liaison to join the team on a fully remote,...
-
Intégration de Données Et de Modèles Pour de La
il y a 1 mois
Montpellier, France Université de Montpellier Temps plein**Intégration de données et de modèles pour de la morphogénèse prédictive quantitative // Data and models integration predictive computational morphogenesis**: - Réf **ABG-122162** **ADUM-55903** - Sujet de Thèse- 03/04/2024- Contrat doctoral- Université de Montpellier- Lieu de travail- Montpellier cedex 5 - France- Intitulé du sujet- Intégration...
-
Research/engineer Position
il y a 1 mois
Montpellier, France INRAE-UMR IATE Temps pleinThe Agropolymer Engineering and Emerging Technologies joint research unit (UMR IATE 1208) brings together staff from INRAE, the University of Montpellier and Agro Institute. It develops a multi-disciplinary scientific approach to the study, processing and valorization of renewable resources from the agricultural, forestry and agrifood sectors. It is...
-
Faculté Des Sciences
il y a 1 mois
Montpellier, France Université de Montpellier Temps plein**DIRECTION DES RESSOURCES** **HUMAINES** **L’Université de Montpellier recrute un 27 Chargés des** **inscriptions administratives (F/H)** **Une université d’excellence** Université de recherche intensive, leader mondial en écologie, l’Université de Montpellier est un établissement public expérimental qui figure dans le top 200 du...
-
Montpellier, France INRIA Temps pleinContexte et atouts du poste The candidate will be part of the CAMIN team at INRIA. The PhD thesis will be funded conjointly by INRIA and INSERM. The aim of this project is (i) to reconstruct precisely, automatically and conti- nuously the volume of the brain exposed by craniotomy during neurosurgery and (ii) to reposition this volume distorted...
-
Postdoc Position in The Electrocatalytic Conversion
il y a 1 mois
Montpellier, France AXLR satt Temps plein**Offre : Postdoc position in the electrocatalytic conversion of CO2 to ethylene**: The SATT AxLR is deployed on the Mediterranean arc of Occitanie. Its purpose is to increase the intensity of the transfer of technologies resulting from public research while perfecting the innovation process. As part of its development, it recruits**: Postdoc position in the...
-
Faculté Des Sciences
il y a 7 jours
Montpellier, France Université de Montpellier Temps plein**DIRECTION DES RESSOURCES** **HUMAINES** **L’Université de Montpellier recrute deux étudiants tuteurs pré** **rentrée (F/H)** **Une université d’excellence** Université de recherche intensive, leader mondial en écologie, l’Université de Montpellier est un établissement public expérimental qui figure dans le top 200 du classement...
-
Senior Machine Learning Engineer
il y a 2 semaines
Montpellier, France Pharmiweb Temps pleinMy Client, a leading Biotech focusing on developing BioAI solutions for the life science industry is searching for a SENIOR MACHINE LEARNING ENGINEER for their teamResponsibilities:Collaborate with researchers to develop machine-learning methods for computational biology problems.Assist in implementing and testing novel research ideas alongside research...
-
Ingénieur Data Science Senior F/H
Il y a 2 mois
Montpellier, France CGI Temps pleinPosition Description: Big Data, Data Science, Data analyse, Data architecture, ... Ça n’a pas de secret pour vous ? Que vous commenciez votre carrière professionnelle ou que vous soyez spécialiste de l’une de ces disciplines, intégrer notre communauté Data, c’est l’assurance de progresser, innover, partager, vous certifier et rendre...
-
Systems Intern – Helpdesk Support
il y a 3 semaines
Montpellier, France CIP Temps pleinThe International Potato Center (CIP) is seeking a proactive andresponsible Systems Intern from the professional careers of Systems Engineering,Information Technology, Computer Science or related careers to be part of theInformation Technology team. The position : This position will be based in HQ-Lima, Peruand will report directly to the Information...
-
Postdoc Position in The Electrocatalytic Conversion
il y a 1 mois
Montpellier, France SATT AxLR OCCITANIE MEDITERRANEE Temps pleinThe SATT AxLR is deployed on the Mediterranean arc of Occitanie. Its purpose is to increase the intensity of the transfer of technologies resulting from public research while perfecting the innovation process. As part of its development, it recruits**:Postdoc position in the electrocatalytic conversion of CO2 to ethylene (H/F)** **Project**: Our group has...
-
Ingénieur Data Science Senior F/H
Il y a 2 mois
Montpellier, France CGI France Temps pleinPosition Description:Big Data, Data Science, Data analyse, Data architecture, ... Ça n'a pas de secret pour vous ? Que vous commenciez votre carrière professionnelle ou que vous soyez spécialiste de l'une de ces disciplines, intégrer notre communauté Data, c'est l'assurance de progresser, innover, partager, vous certifier et rendre service à nos...
-
Science Managing Editor or Lead Researcher, Cgiar
il y a 4 semaines
Montpellier, France CGIAR Temps plein**Reports to**:CGIAR Director level **Supervising**:Part-time consultants, administrator (TBD) **Job grade**:TBC **Contract type**:Consultant, 12-month contract with probable extension **Time commitment**:Preferably February 2024 start, but no later than March 2024. Optimally, 4-5 days per week, with flexibility. See SCENARIOS below. **Location**:Remote...
-
Graduate Intern
il y a 1 mois
Montpellier, France CGIAR Temps pleinBackground: The NUTRI+4AID project is a two-year project (2023-24). Though the project officially commenced in February 2023, the activities will commence in 2024 to recruit an intern. The Position: The Gender and Food systems Graduate intern will provide support to the NUTRI+4AID project activities Key responsibilities: Value chain study in Uganda in...
-
Phd Position F/m a Multi-modal Language Model for
il y a 7 jours
Montpellier, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **A propos du centre ou de la direction fonctionnelle**: Inria is a national research institute dedicated to digital sciences that promotes scientific excellence and transfer. Inria employs 2,400...
-
Associate Research Fellow
il y a 2 semaines
Montpellier, France IFPRI Temps pleinJob Summary The Natural Resources and Resilience Unit of the Transformation Strategies Department of the International Food Policy Research Institute (IFPRI) seeks a qualified candidate to serve as Associate Research Fellow. This is a 2-year exempt, renewable position based in Washington, DC. The selected candidate will engage in comprehensive...