AI Researcher: Steering Formal Reasoning Problems for Large Language Models
Há 2 dias
About Inria, the French National Research Institute for the Digital Sciences
Inria 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 Formal Reasoning Problems Generation for LLMs
We are seeking an exceptional PhD student to join our team as an AI researcher. Your primary responsibility will be to design and develop novel methods for generating formal reasoning problems that can be used to improve the performance of large language models.
About the Project
The goal of this project is to construct reasoning examples to infuse symbolic AI into large language models. To achieve this, we aim to formalize a general problem generation framework and instantiate multiple types of symbolic problems generators. We will use existing symbolic solvers to obtain solutions and fine-tune language models to match the solver outputs.
Responsibilities
- Survey existing research on formal reasoning and problem generation for large language models
- Participate in the construction of formal synthetic problem generators using context-free grammars and language models for guidance
- Formulate research questions, design, and conduct controlled experiments to evaluate generation strategies on multiple external downstream tasks
- Evaluate generation strategies on multiple external downstream tasks
- Write articles and disseminate research results
Requirements
- Strong knowledge of deep learning and ideally reinforcement learning
- Autonomy, critical thinking, willingness to tackle hard problems
- Interest in formal algorithms
- Strong scientific background
- Knowledge of NLP
Benefits
- Partial reimbursement of public transport costs
- 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave
- Possibility of teleworking and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage
Salary: €2100 (gross monthly salary) for the first and second year, increasing to €2190 in the third year
About the Team
You will work closely with our team of experienced researchers and engineers to design and develop innovative solutions for large language models. Our team is passionate about pushing the boundaries of AI research and developing new applications for real-world problems.
-
Porto, Porto, Portugal Inria, The French National Research Institute For The Digital Sciences Tempo inteiroAbout the RoleWe are seeking a highly skilled Research Scientist to join our team at Inria, the French national research institute for the digital sciences. As a member of our team, you will work on designing new methods for steerable problem generation.The successful candidate will be responsible for surveying existing research, participating in the...
-
Data Validation Engineer for Large Language Models
3 semanas atrás
Porto, Porto, Portugal Buscojobs Portugal Tempo inteiroCompany OverviewBuscojobs Portugal is a renowned platform that leverages the power of AI and machine learning to streamline business workflows. Our team is dedicated to pushing the boundaries of innovation, and we're seeking an exceptional Data Validation Engineer to join us on this exciting journey.About the RoleWe're looking for a highly skilled Data...
-
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...
-
AI Build Limited
2 semanas atrás
Porto, Porto, Portugal Ai Build Limited Tempo inteiroCompany OverviewAi Build Limited is a fast-growing scale-up that specializes in creating digital ecosystems for medical professionals. Our mission is to empower doctors by providing them with the most useful professional resources, saving them time and enabling them to focus on what matters most – patients.Salary: €80,000 - €120,000 per yearJob...
-
Freemium Business Model Researcher
3 semanas atrás
Porto, Porto, Portugal Cnrs Tempo inteiroSociology and Science in Open-Access PublishingThe Cnrs is recruiting a researcher to work on the economic sociology of the freemium model at Openedition. The research will involve investigating the unique freemium economic model to document what it means for all stakeholders to monetize access to open-access content through services.The researcher will have...
-
AI Model Training Specialist
3 semanas atrás
Porto, Porto, Portugal Phiture Tempo inteiroWe're looking for a talented Content Reviewer to help us improve our AI models by providing high-quality feedback.About the Opportunity:As a remote Content Reviewer, you'll have the flexibility to work from anywhere and contribute your expertise in Portuguese (Portugal) to train our generative artificial intelligence models. This is an excellent opportunity...
-
Portuguese Language Expert for AI Model Training
4 semanas atrás
Porto, Porto, Portugal Phiture Tempo inteiroAbout the OpportunityPhiture is looking for experienced writers with fluency in Portuguese (Portugal) to contribute to the training of generative artificial intelligence models. This freelance opportunity is remote, and hours are flexible.You may be involved in various tasks, including:Ranking responses produced by an AI model through reading Portuguese...
-
AI Model Developer
2 meses atrás
Porto, Porto, Portugal Mindera Tempo inteiroCourse OverviewThe Generative AI course is a comprehensive training program that focuses on developing AI models capable of creating new content. This course is ideal for students and professionals looking to acquire valuable skills in AI development.Through a combination of state-of-the-art techniques and hands-on projects, participants will gain a deep...
-
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...
-
Data Engineer for AI-Driven Healthcare Solutions
3 semanas atrás
Porto, Porto, Portugal Swordhealth Tempo inteiroTransform healthcare with cutting-edge AI as a Senior Data Engineer at Sword HealthWe're harnessing the power of Large Language Models (LLMs) and advanced data engineering to revolutionize how we deliver personalized care. Our dynamic Predict team is seeking a skilled engineer to build the data infrastructure that drives our AI and machine learning projects...
-
Porto, Porto, Portugal Ecole Des Hautes Etudes En Sciences Sociales (Ehess) Tempo inteiroAbout the PositionWe are seeking a highly skilled Postdoctoral Fellow to join our Cognitive Machine Learning team at the École des Hautes Études en Sciences Sociales (EHESS) and the École Normale Supérieure (Université PSL). The successful candidate will work on the ERC-funded InfantSimulator project, which aims to study the computational mechanisms...
-
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...
-
AI Model Developer
Há 1 mês
Porto, Porto, Portugal Mindera Tempo inteiroCourse Overview: The Generative AI course is a comprehensive training program that focuses on developing AI models capable of creating new content. This course is ideal for students and professionals looking to acquire valuable skills in AI development. Course Outline:Module 1: Python and Object-Oriented ProgrammingModule 2: LLMs and Multimodal SystemsModule...
-
Porto, Porto, Portugal Cnrs Tempo inteiroJob Opportunity at CnrsWe are seeking a highly motivated Postdoctoral Researcher to join our team at the Institute of Earth and Environment in Strasbourg, France.About the PositionThis postdoctoral research position is part of the CNRS Prime 80 project, focused on developing and calibrating a hydrogeological model using geophysical data.Key...
-
Porto, Porto, Portugal Euraxess.Ec.Europa - Jobboard Tempo inteiro**About ANR Research Funding**ANR provides funding for project-based research in all fields of science, including formal sciences, humanities, natural sciences, professions and applied sciences, and social sciences. This funding is available to public research organisations and universities, as well as private companies, including small and medium-sized...
-
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.
-
Porto, Porto, Portugal Euraxess.Ec.Europa - Jobboard Tempo inteiroWe are seeking a talented PhD student to join our research team at Euraxess.Ec.Europa - Jobboard in Paris, France. This exciting opportunity is part of an ongoing project that aims to develop efficient model-checking algorithms for malware detection.The ideal candidate will have a strong background in computer science and a master's diploma from a reputable...
-
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...
-
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.
-
AI Model Development Expert
4 semanas atrás
Porto, Porto, Portugal Mindera Tempo inteiroCourse DescriptionThe Generative AI Bootcamp is a comprehensive training program designed to equip participants with the skills required to develop state-of-the-art AI models that create new content.This expert-led program covers a range of topics, including Python and object-oriented programming, LLMs and multimodal systems, practical AI application...