AI Researcher for Probabilistic Property Verification
Há 2 dias
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 inteiroAbout 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...
-
AI Hardware Architectures Trustworthiness Researcher
2 semanas atrás
Porto, Porto, Portugal Inria, The French National Research Institute For The Digital Sciences Tempo inteiroResearch 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 inteiroCompany 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.
-
Researcher Position for AI Development in Portugal
3 semanas atrás
Porto, Porto, Portugal Inesc Id Tempo inteiroCompany 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 inteiroAbout 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 inteiroCentre 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 inteiroJob 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 inteiroAt 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...
-
Postdoctoral Researcher in AI Neural Network Security on FPGAs
2 semanas atrás
Porto, Porto, Portugal University Of Lyon Tempo inteiroAbout 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 inteiroCompany 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...
-
Researcher in Data Science and AI
Há 2 dias
Porto, Porto, Portugal Instituto Politécnico De Setúbal Tempo inteiroAbout 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...
-
Senior AI Hardware Architect
Há 2 dias
Porto, Porto, Portugal Inria, The French National Research Institute For The Digital Sciences Tempo inteiroInria, 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 inteiroCompany 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 inteiroCompany 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 inteiroAbout 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...
-
AI Innovation Specialist
Há 7 dias
Porto, Porto, Portugal Capgemini Tempo inteiroVortex-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 inteiroCompany 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...
-
Chief Architect for Secure AI on FPGAs
Há 2 dias
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...
-
AI Innovator for Cyberphysical Systems
1 semana atrás
Porto, Porto, Portugal Capgemini Engineering Tempo inteiroLead 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...