Post-Doctoral Position

Há 5 dias


Porto, Portugal Université Savoie Mont Blanc Tempo inteiro

Organisation/Company: Université Savoie Mont Blanc
Research Field: Mathematics
Researcher Profile: First Stage Researcher (R1), Recognised Researcher (R2)
Positions: Postdoc Positions
Country: France
Application Deadline: 9 Dec 2024 - 12:00 (Europe/Paris)
Type of Contract: Temporary
Job Status: Full-time
Hours Per Week: 35
Offer Starting Date: 3 Feb 2025
Is the job funded through the EU Research Framework Programme? Not funded by a EU programme
Is the Job related to staff position within a Research Infrastructure? No
Offer Description The Mathematics Laboratory (LAMA) is a research unit funded by CNRS and Savoie Mont Blanc University, located on the scientific campus of Bourget-du-Lac, Savoy. The lab is organised in three research teams: EDPs2 (partial differential equations: deterministic and probabilistic studies), Géométrie (Geometry), and LIMD (Logic, Computer science, and Discrete Mathematics). This thematic diversity in one laboratory expresses the unity of Mathematics in its three components: pure mathematics, applied mathematics, and mathematical computer science. The three teams share the excellence of foundational research on the one hand, and, on the other hand, the care devoted to applications. The latter cover for instance applications to other sciences (geophysics, physics, biology, mechanics, and computer science), to other areas of mathematics (e.g., geometry applied to control theory), or to pedagogy.
The present 18 month postdoc position is part of the interdisciplinary ANR SHINE project GULI, which comprises a numerical physicist, Vincent Reverdy, and programming language theorists Tom Hirschowitz and Pierre Hyvernat, to try to design a conceptually clear solution covering all use cases.
Where to apply E-mail: ******
Requirements Research Field: Mathematics
Education Level: PhD or equivalent
Skills/Qualifications:
Type theory
Category theory
Programming language theory
Programming in proof assistants
Implementation of programming languages
It is definitely not necessary to possess all these skills to be successful.
Recruitment is open to holders of a doctorate from a French university, or a degree recognized as equivalent by the university, in particular a doctorate or PhD from a foreign university.
Specific Requirements:
Full-time work at LAMA (with an office at the lab), with regular meetings at the Particle Physics lab (LAPP) in Annecy. As a university personnel, the successful applicant will have access to the whole infrastructure (library, sports, and so on). The lab has its own, more specialised library, a seminar room, a common room, a shower, and a secure parking place for bikes. Lake Bourget is less than 2km away from the lab. The campus may be reached from Chambéry or Aix-les-Bains by public transport, bike (on a separate cycling path), and car.
The successful applicant will be hosted in the mathematics laboratory in Le Bourget-du-Lac, with T. Hirschowitz and P. Hyvernat. V. Reverdy is based in the particle physics laboratory in Annecy, so recurrent meetings will be organised to facilitate interaction.
Internal Application form(s) needed

#J-18808-Ljbffr



  • Porto, Portugal Iut Nantes Tempo inteiro

    Organisation/Company: IUT NANTESDepartment: IUT NANTESResearch Field: Engineering » Mechanical engineering, Technology » Production technology, Technology » Industrial technologyResearcher Profile: Recognised Researcher (R2)Positions: Postdoc PositionsCountry: FranceApplication Deadline: 22 Dec 2024 - 12:00 (Europe/Paris)Type of Contract: TemporaryJob...


  • Porto, Porto, Portugal Associação Do Instituto Superior Técnico Para A Investigação E Desenvolvimento _Ist-Id Tempo inteiro

    Company OverviewAssociação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID is a renowned research institution dedicated to advancing knowledge and innovation.Job DescriptionWe are seeking highly motivated Post-Doctoral Research Fellows to join our team in the project "Opportunities in the gravitational sky: Searching for new...


  • Porto, Portugal Inserm Tempo inteiro

    POST-DOCTORAL FELLOW IN ACUTE MYELOID LEUKEMIA RESEARCHHost team & institute: BENAJIBA team - Identification and targeting of extrinsic regulators of myeloid malignancies - INSERM U944 - Saint-Louis Research InstituteSaint-Louis Research Institute was created in 1958 by Jean Bernard and Jean Dausset (Nobel Prize), aiming to achieve excellence in research and...


  • Porto, Portugal Benajiba Team - Inserm U944 - Saint-Louis Research Institute Tempo inteiro

    BENAJIBA team - INSERM U944 - Saint-Louis Research InstituteOrganisation/Company: BENAJIBA team - INSERM U944 - Saint-Louis Research InstituteResearch Field: Biological sciencesResearcher Profile: Recognised Researcher (R2)Country: FranceApplication Deadline: 31 Jan 2025 - 23:00 (UTC)Type of Contract: To be definedJob Status: Full-timeIs the job funded...


  • Porto, Portugal Cea Tempo inteiro

    .Organisation/Company: CEAResearch Field: Technology » Materials technology, Technology » Energy technologyResearcher Profile: First Stage Researcher (R1)Country: FranceApplication Deadline: 30 Dec 2024 - 22:00 (UTC)Type of Contract: TemporaryJob Status: Full-timeOffer Starting Date: 6 Jan 2025Is the job funded through the EU Research Framework Programme?...


  • Porto, Portugal Cea Tempo inteiro

    Organisation/Company: CEAResearch Field: Technology » Materials technology, Technology » Energy technologyResearcher Profile: First Stage Researcher (R1)Country: FranceApplication Deadline: 30 Dec 2024 - 22:00 (UTC)Type of Contract: TemporaryJob Status: Full-timeOffer Starting Date: 6 Jan 2025Is the job funded through the EU Research Framework Programme?...


  • Porto, Portugal Cea Tempo inteiro

    Organisation/Company: CEAResearch Field: Technology » Materials technology, Technology » Energy technologyResearcher Profile: First Stage Researcher (R1)Country: FranceApplication Deadline: 30 Dec 2024 - 22:00 (UTC)Type of Contract: TemporaryJob Status: Full-timeOffer Starting Date: 6 Jan 2025Is the job funded through the EU Research Framework Programme?...


  • Porto, Portugal Fondation Sciences Mathématiques De Paris Tempo inteiro

    Organisation/Company: Fondation Sciences Mathématiques de ParisResearch Field: MathematicsResearcher Profile: Recognised Researcher (R2)Positions: Postdoc PositionsCountry: FranceApplication Deadline: 29 Nov 2024 - 23:59 (Europe/Paris)Type of Contract: TemporaryJob Status: Full-timeIs the job funded through the EU Research Framework Programme? Not funded by...


  • Porto, Portugal Université Toulouse Capitole Tempo inteiro

    Organisation/Company: Université Toulouse CapitoleDepartment: IRITResearch Field: Computer science » OtherResearcher Profile: First Stage Researcher (R1)Positions: Postdoc PositionsCountry: FranceApplication Deadline: 13 Dec 2024 - 12:00 (UTC)Type of Contract: TemporaryJob Status: Full-timeHours Per Week: 35Offer Starting Date: 6 Jan 2025Is the job funded...


  • Porto, Portugal Ineris Tempo inteiro

    Organisation/Company: InerisResearch Field: Chemistry, Environmental science » EcologyResearcher Profile: Recognised Researcher (R2), Leading Researcher (R4), First Stage Researcher (R1), Established Researcher (R3)Country: FranceApplication Deadline: 30 Dec 2024 - 22:00 (UTC)Type of Contract: TemporaryJob Status: Full-timeOffer Starting Date: 6 Jan 2025Is...


  • Porto, Portugal Cnrs Tempo inteiro

    Organisation/Company: CNRSDepartment: Biologie du chloroplaste et Perception de la lumière chez les MicroalguesResearch Field: Biological sciences » BotanyBiological sciences Technology: BiotechnologyResearcher Profile: Established Researcher (R3)Country: FranceApplication Deadline: 26 Nov 2024 - 23:59 (UTC)Type of Contract: TemporaryJob Status:...


  • Porto, Portugal Cnrs Tempo inteiro

    Organisation/Company: CNRSDepartment: Unité support aux Études AréalesResearch Field: Geography, Architecture, SociologyResearcher Profile: First Stage Researcher (R1)Country: FranceApplication Deadline: 29 Nov 2024 - 23:59 (UTC)Type of Contract: TemporaryJob Status: Full-timeHours Per Week: 35Offer Starting Date: 1 Feb 2025Is the job funded through the...


  • Porto, Porto, Portugal Ecoles Pratique Des Hautes Etudes - Psl Tempo inteiro

    At Ecoles Pratique des Hautes Etudes - PSL, we are seeking a highly skilled Post-Doctoral Researcher to join our team at the Institute for Systematics, Evolution, Biodiversity (ISYEB UMR 7205) located within the Muséum National d'Histoire Naturelle in Paris. This is an exciting opportunity to work on developing new methods to study the genetic architecture...


  • Porto, Portugal Université Toulouse Capitole Tempo inteiro

    Organisation/Company: Université Toulouse CapitoleDepartment: IRITResearch Field: Computer science » OtherResearcher Profile: First Stage Researcher (R1)Positions: Postdoc PositionsCountry: FranceApplication Deadline: 13 Dec 2024 - 12:00 (UTC)Type of Contract: TemporaryJob Status: Full-timeHours Per Week: 35Offer Starting Date: 6 Jan 2025Is the job funded...


  • Porto, Porto, Portugal Nantes Université Tempo inteiro

    Nantes Université is a leading institution in higher education and research, renowned for its innovative approach to teaching and learning. The university's Department IUT NANTES is at the forefront of computer science and engineering research, with a strong focus on computer architecture.Job OverviewWe are seeking an exceptional Post-Doctoral Researcher to...


  • Porto, Portugal Cnrs Tempo inteiro

    Organisation/Company: CNRSDepartment: Unité support aux Études AréalesResearch Field: Geography, Architecture, SociologyResearcher Profile: First Stage Researcher (R1)Country: FranceApplication Deadline: 29 Nov 2024 - 23:59 (UTC)Type of Contract: TemporaryJob Status: Full-timeHours Per Week: 35Offer Starting Date: 1 Feb 2025Is the job funded through the...


  • Porto, Portugal Ifremer - Institut Français De Recherche Pour L'Exploitation De La Mer Tempo inteiro

    Organisation/Company: IFREMER - Institut Français de Recherche pour l'Exploitation de la MERDepartment: FRANCEResearch Field: Biological sciences » Biology, Environmental science » Ecology, Chemistry » BiochemistryResearcher Profile: Recognised Researcher (R2)Positions: Postdoc PositionsCountry: FranceApplication Deadline: 28 Nov 2024 - 23:59...


  • Porto, Portugal Université De Strasbourg Tempo inteiro

    Organisation/Company: Université de StrasbourgDepartment: Direction des ressources humainesResearch Field: MathematicsResearcher Profile: Recognised Researcher (R2)Positions: PhD PositionsCountry: FranceApplication Deadline: 13 Dec 2024 - 23:59 (Europe/Paris)Type of Contract: TemporaryJob Status: Full-timeOffer Starting Date: 1 Sep 2025Is the job funded...


  • Porto, Portugal Cnrs Tempo inteiro

    Organisation/Company: CNRSDepartment: Institut de recherche mathématique de RennesResearch Field: Mathematics History » History of scienceResearcher Profile: First Stage Researcher (R1)Country: FranceApplication Deadline: 5 Jan 2025 - 00:00 (UTC)Type of Contract: TemporaryJob Status: Full-timeHours Per Week: 35Offer Starting Date: 1 Sep 2025Is the job...


  • Porto, Porto, Portugal Ineris Tempo inteiro

    About the OpportunityIneris, a leading research organization, seeks a highly motivated Post-Doctoral Researcher to join its team in atmospheric chemistry and physics. The successful candidate will contribute to cutting-edge research projects focused on aerosol characterization and formation processes.Job DescriptionThe primary objective of this position is...