AI Researcher for Probabilistic Property Verification

Há 2 dias


Porto, Porto, Portugal Cnrs Tempo inteiro

Job Overview

CNRS is seeking an AI researcher to work on the verification of probabilistic properties for artificial intelligence. The successful candidate will be part of the Cosynus team in the "Proofs and Algorithms" pole, working on the semantics and static analysis of software systems.

About the Role

We are looking for a highly motivated and talented individual to join our team as a Ph.D. student. As a research assistant, you will have the opportunity to contribute to the development of new approaches for verifying the correct behavior of neural networks in critical situations.

Responsibilities

- Investigate other abstractions beyond the current constant stepsize staircase discretization;
- Handle multivariate input distributions using copulas;
- Explore applications to the safety of autonomous systems, particularly the robustness of perception and decision-making in drones with imprecise probabilistic information on trajectories;
- Contribute to the development of new approaches for verifying the correct behavior of neural networks in critical situations.

Requirements

To be considered for this role, you should have a strong background in computer science, mathematics, or a related field. You should also have experience with programming languages such as Python or C++.

What We Offer

We offer a competitive salary package, including a gross salary of approximately €35,000 per year, paid leave, and access to a range of benefits.

About Us

CNRS is a leading research institution in France, known for its excellence in scientific research. Our team is dedicated to advancing knowledge in the field of artificial intelligence and developing innovative solutions for real-world problems.



  • Porto, Porto, Portugal Cnrs Tempo inteiro

    About LIXLIX is a joint research unit between École Polytechnique and the Centre National de la Recherche Scientifique (CNRS), with one partner, Inria Saclay. Our team focuses on verifying probabilistic properties of software systems.Job DescriptionWe are seeking a researcher to join our Cosynus team in the "Proofs and Algorithms" pole. Your work will...


  • Porto, Porto, Portugal Inria, The French National Research Institute For The Digital Sciences Tempo inteiro

    Research a cutting-edge solution to ensure the reliability of AI hardware architectures. Join Inria, the French national research institute for the digital sciences, as a First Stage Researcher (R1) and contribute to the development of explainable AI models that are resilient to hardware faults.About the JobWe are seeking a highly motivated researcher to...


  • Porto, Porto, Portugal Ecole Normale Supérieure Tempo inteiro

    Company OverviewEcole Normale Supérieure, a leading institution in the field of social sciences, is seeking an experienced researcher to contribute to its groundbreaking EIC Pathfinder Project ASTOUND. This pioneering initiative explores the ethical dimensions of AI-based chatbots, focusing on the intersection of technology and ethics.


  • Porto, Porto, Portugal Inesc Id Tempo inteiro

    Company OverviewINESC-ID, a leading research institution in Portugal, seeks a highly skilled researcher to join our team in the development of cutting-edge AI solutions. Our mission is to drive innovation and improve customer support services across the Portuguese and European markets.


  • Porto, Porto, Portugal Inria, The French National Research Institute For The Digital Sciences Tempo inteiro

    About Inria, the French National Research Institute for the Digital SciencesInria is a world-class research institute that has been driving innovation in the digital sciences for over 50 years. Our mission is to develop and promote scientific excellence, with a focus on interdisciplinary research and collaboration.PhD Position: AI Researcher - Steering...


  • Porto, Porto, Portugal Centre National De La Recherche Scientifique Tempo inteiro

    Centre National de la Recherche Scientifique is committed to advancing knowledge and innovation in the field of chemistry. We are seeking an exceptional researcher to join our team as an Advanced AI Researcher for Machine Learning-Based Synthesis Optimization.About the PositionWe are looking for a highly skilled individual with a strong background in...


  • Porto, Porto, Portugal Ecole Normale Supérieure Tempo inteiro

    Job OverviewWe are seeking a highly skilled Ethics Researcher to join our team at the Ecole Normale Supérieure, working on a pioneering EIC Pathfinder Project (ASTOUND) exploring the ethical dimensions of an AI-based chatbot. The successful candidate will contribute to addressing the intersection of technology and ethics.


  • Porto, Porto, Portugal Télécom Paris Tempo inteiro

    At Télécom Paris, we're looking for a highly skilled Post-Doctoral Fellow to join our INFRES department. This role involves conducting research missions in the field of Cybersecurity and Artificial Intelligence. The ideal candidate will have a PhD or equivalent in information theory, coding, and machine learning, with expertise in AI and Cybersecurity.Job...


  • Porto, Porto, Portugal University Of Lyon Tempo inteiro

    About the RoleWe are seeking a highly skilled Postdoctoral Researcher to join our team at the University of Lyon, working on a cutting-edge project focused on the security evaluation of neural network FPGA implementations.The successful candidate will have a PhD degree in hardware security, computer science, or cryptography and advanced skills in FPGA design...

  • Robotics Researcher

    Há 2 dias


    Porto, Porto, Portugal Cnrs Tempo inteiro

    Company Overview: CNRS is a leading research organization in France, dedicated to advancing knowledge and innovation in various fields, including engineering, computer science, and mathematics.Salary: The estimated annual salary for this position ranges from €40,000 to €60,000, depending on experience and qualifications.Job Description: We are seeking an...


  • Porto, Porto, Portugal Instituto Politécnico De Setúbal Tempo inteiro

    About Instituto Politécnico De SetúbalInstituto Politécnico De Setúbal is a leading institution in Portugal, dedicated to advancing knowledge and innovation. Our research-focused environment provides an excellent backdrop for you to explore the cutting-edge field of Data Analysis and Artificial Intelligence.Salary DetailsThe gross monthly remuneration...


  • Porto, Porto, Portugal Inria, The French National Research Institute For The Digital Sciences Tempo inteiro

    Inria, the French national research institute for digital sciences offers a challenging opportunity as Senior AI Hardware Architect.Company Overview:We are Inria, the French national research institute for digital sciences. Our mission is to advance knowledge and innovation in digital science through high-quality research, technology transfer, and...


  • Porto, Porto, Portugal Cnrs - Satie (Ens Rennes) Tempo inteiro

    Company OverviewCnrs - Satie (Ens Rennes) is a leading research institution dedicated to advancing the field of electrical engineering through innovative technologies and methodologies.Salary and BenefitsThe successful candidate can expect an annual salary of approximately €45,000 to €55,000, commensurate with experience, plus comprehensive benefits...


  • Porto, Porto, Portugal Télécom Paris Tempo inteiro

    Company Overview">Télécom Paris, a renowned institution for engineering and digital innovation, is committed to training the next generation of experts in the field. With a strong focus on research and development, our team is dedicated to creating cutting-edge solutions that drive progress.">Salary">We offer an estimated annual salary range of €60,000 -...


  • Porto, Porto, Portugal Inria, The French National Research Institute For The Digital Sciences Tempo inteiro

    About the PositionWe are seeking a highly skilled researcher to join our team at Inria, the French National Research Institute for the Digital Sciences. As a High-Performance Computing Researcher in Scalable Translation Validation, you will be working on investigating translation validation of programs with reductions and compile-time data allocation.Job...


  • Porto, Porto, Portugal Capgemini Tempo inteiro

    Vortex-CoLab, a collaborative laboratory combining academia and industry allies like Capgemini Engineering, is seeking a Generative AI (Gen-AI) Tech Specialist to strengthen its team. To be successful in this journey, we need an exceptional individual with expertise in developing and deploying Gen-AI solutions, focusing on image generation, text generation,...


  • Porto, Porto, Portugal Cnrs Tempo inteiro

    Company OverviewCNRS is a French national research institution that conducts interdisciplinary research in various fields, including chemistry and physics.SalaryThe estimated annual salary for this PhD researcher position is approximately €33,000 - €40,000 per year, depending on experience and qualifications.Job DescriptionWe are seeking a highly...


  • Porto, Porto, Portugal Inpi, Ceipi, Cncpi, Aspi Tempo inteiro

    **About the Position**We are seeking a highly skilled Biotechnology Patent Engineer to join our team at INPI, CEIPI, CNCPI, ASPI. This is an excellent opportunity for individuals with expertise in patent examination and industrial property law.**Job Overview**The successful candidate will be responsible for examining patent applications in the biotechnology...


  • Porto, Porto, Portugal University Of Lyon Tempo inteiro

    **Job Overview**The University of Lyon invites applications for a Postdoctoral Researcher position in Hardware Security, focused on the security evaluation of neural network FPGA implementations.**About the Role**We are seeking a highly motivated and experienced researcher to join our team at the SESAM Team of the Hubert Curien Laboratory. The ideal...


  • Porto, Porto, Portugal Capgemini Engineering Tempo inteiro

    Lead AI Development for Next-Gen Embedded SystemsVortex-CoLab, a collaborative laboratory powered by Capgemini Engineering, is seeking a highly skilled AI Innovator to strengthen our team. As a key player in shaping the future of embedded and real-time systems, you will work collaboratively with cross-functional teams to drive innovation and develop...