Emplois actuels liés à Making Coq Proofs More Reliable and More Easily - Strasbourg, Grand Est - Institut Thématique Interdisciplinaire IRMIA++
-
Technical Writer/Proof-reader
il y a 3 jours
Strasbourg, Grand Est, France Ukad Group Temps pleinJob Title: Junior Technical Writer/Proof-reader About the Role: We are seeking a highly skilled Junior Technical Writer/Proof-reader to join our team at Ukad Group. As a key member of our documentation team, you will be responsible for creating high-quality technical guides and operational manuals that meet the needs of our customers. Key...
-
Technical Writer/Proof-reader
il y a 3 jours
Strasbourg, Grand Est, France Ukad Group Temps plein{"Job Title: Technical Writer/Proof-reader Job Summary: We are seeking a skilled Technical Writer/Proof-reader to join our team at Ukad Group. The successful candidate will be responsible for creating high-quality technical guides and operational manuals, working closely with cross-functional teams to ensure technical accuracy, and adapting to changing...
-
Chemistry Sales Account Manager
il y a 2 semaines
Strasbourg, Grand Est, France Waters Corporation Temps pleinAbout the RoleWe are seeking a highly skilled and experienced Sales Account Manager to join our team at Waters Corporation. As a Sales Account Manager for Chemistry Products, you will be responsible for managing a territory of varied accounts, focusing on sales of Chemistry consumables and automation systems in the Eastern France and French-speaking part of...
-
Java Developer and Technical Lead
il y a 2 semaines
Strasbourg, Grand Est, France Davidson Temps pleinAt Davidson, we're committed to creating a workplace where innovation and collaboration thrive. As a Java Developer and Technical Lead, you'll play a key role in shaping our software development process and ensuring the quality of our projects.**Our Values**We believe in a culture of respect, where every individual is valued and empowered to contribute their...
-
Chemistry Sales Account Manager
il y a 2 semaines
Strasbourg, Grand Est, France Waters Corporation Temps pleinAbout the RoleWe are seeking a highly motivated and experienced Sales Representative to join our team at Waters Corporation. As a Sales Representative - Chemistry, you will be responsible for ensuring the health of your current territory, approaching new and existing customers, and delivering workshops on customer sites.Key ResponsibilitiesEnsure the health...
-
Senior.Net Developer and Technical Lead
il y a 2 semaines
Strasbourg, Grand Est, France Davidson Temps pleinAt Davidson, you'll be part of a global community of 3,000 consultants across 6 countries and 2 continents. We're proud to be a Great Place To Work France and Europe, as voted by our employees, and one of the largest B Corps in France, recognized for our commitment to making a positive impact.Our development is guided by strong principles:Respect for all...
-
Caregiver for Two Young Children
il y a 4 semaines
Strasbourg, Grand Est, France Kangourou Kids Temps pleinKangourou Kids Strasbourg is seeking a dedicated and experienced caregiver to join our team! We provide exceptional care for children in a nurturing and stimulating environment. As part of the Kangourou Kids family, you'll have the opportunity to make a real difference in the lives of young children. Your Responsibilities Provide safe and reliable...
-
Transport Agency Manager
il y a 3 semaines
Strasbourg, Grand Est, France Partnaire service RH Temps pleinUnlock Your Potential in the Transport IndustryWe are currently seeking a highly skilled and experienced Transport Agency Manager to join our team at Partnaire service RH. If you have a strong background in transport and are looking to take your career to the next level, this opportunity is for you.Lead a team of recruitment professionals and manage your...
-
Data Engineer H/F
il y a 2 semaines
Strasbourg, Grand Est, France Michael Page Temps pleinAbout the RoleAs a Data Engineer, you will be responsible for ensuring the performance and security of our data platform.Key responsibilities include: * Managing the database using systems such as Snowflake and BigQuery, * Evolving the data platform and ensuring its operational maintenance, * Participating in performance optimization, * Ensuring data...
-
Deputy Chief Data Officer
il y a 2 semaines
Strasbourg, Grand Est, France Social Discovery Group Temps pleinJob SummaryWe are seeking a highly skilled Deputy Chief Data Officer to join our Core business unit at Social Discovery Group. As a key member of our team, you will be responsible for providing top-quality support in making data-driven decisions and organizing processes that enable stakeholders to quickly identify and resolve issues with products.About the...
-
CVC Technician
il y a 3 semaines
Strasbourg, Grand Est, France IZIWORK Temps pleinIziwork is a digital recruitment agency that specializes in selecting top job opportunities for its candidates. Through their app, you can easily apply and manage your contract, and benefit from personalized support from your dedicated recruiter.At Iziwork, we are seeking a skilled CVC Technician to join our client's team in a dynamic...
-
Sales Engineer
il y a 1 mois
Strasbourg, Grand Est, France Uptoo Temps pleinBecome a part of our dynamic team as a Sales Engineer within our Automotive Business Unit, focusing on cultivating partnerships and driving business with key accounts globally.Establish and nurture robust relationships with clients and potential customers through proactive engagement.Develop strategic action plans to implement the sales initiatives...
-
Chemistry Sales Account Manager
il y a 3 jours
Strasbourg, Grand Est, France Waters Corporation Temps pleinJob Title: Chemistry Sales Account ManagerAs a Chemistry Sales Account Manager at Waters Corporation, you will be responsible for managing a territory of varied accounts, focusing on sales of Chemistry consumables and automation systems in the Eastern France and French-speaking part of Switzerland.Key Responsibilities:Ensure the health of your current...
-
Chemistry Sales Account Manager
il y a 20 heures
Strasbourg, Grand Est, France Waters Corporation Temps pleinResponsibilitiesEnsure the health of your current territory by approaching new and existing customers, conducting customer visits, delivering workshops on customer sites, and providing technical advice to customers reviewing their chemistry needs.Review your pipeline by assessing year-to-date figures, reviewing contracts due to expire or renew, responding to...
-
DevOps Lead
il y a 3 jours
Strasbourg, Grand Est, France Mars, Incorporated and its Affiliates Temps plein{"title": "DevOps Lead", "description": "Job Summary:We are seeking a highly skilled DevOps Lead to join our team at Mars, Incorporated and its Affiliates. As a DevOps Lead, you will be responsible for defining and driving the DevOps strategy across the Digital Factory to support the organization\u2019s ambitions.Key Responsibilities:Lead the DevOps team to...
-
PHP Developer and Technical Lead
il y a 2 semaines
Strasbourg, Grand Est, France Davidson Temps pleinAbout the RoleWe are seeking a highly skilled PHP developer to join our team as a technical lead. As a key member of our development team, you will be responsible for overseeing the development of complex PHP applications using various frameworks such as Symfony and Zend.Key ResponsibilitiesDrafting technical specifications to meet client needsOverseeing PHP...
-
Python Developer and Technical Lead
il y a 2 semaines
Strasbourg, Grand Est, France Davidson Temps pleinAbout DavidsonDavidson is a company that values equal opportunities and career growth for its employees. We believe that work should not only provide financial stability but also contribute to personal fulfillment.Our ApproachWe practice adhocratic management, which is based on the principles of horizontal company and tribal management. This approach allows...
-
Chemistry Sales Account Manager
il y a 7 jours
Strasbourg, Grand Est, France Waters Corporation Temps pleinResponsibilitiesEnsure the health of your current territory by approaching new and existing customers, conducting customer visits, delivering workshops on customer sites, and providing technical advice to customers reviewing their chemistry needs.Review your pipeline by assessing year-to-date figures, reviewing contracts due to expire or renew, responding to...
-
Chemistry Sales Account Manager
il y a 5 jours
Strasbourg, Grand Est, France Waters Corporation Temps pleinResponsibilitiesEnsure the health of your current territory by approaching new and existing customers, conducting customer visits, delivering workshops on customer sites, and providing technical advice to customers reviewing their chemistry needs.Review your pipeline by assessing year-to-date figures, reviewing contracts due to expire or renew, responding to...
-
Logistics and Operations Specialist
il y a 1 mois
Strasbourg, Grand Est, France VALD Temps pleinAbout VALD VALD stands as the premier innovator in technology for the allied health sector, delivering cutting-edge human-measurement solutions to over 5,000 clients across more than 100 nations. If you support a team in the NBA, EPL, or NFL, it’s likely they utilize VALD Technologies. Since its inception in 2015 in Brisbane, Australia, VALD has expanded...
Making Coq Proofs More Reliable and More Easily
Il y a 3 mois
Making Coq Proofs More Reliable and
More Easily Reusable:
Applications to Mathematics:
- Réf
ABG-111661
- Sujet de Thèse 02/03/2023
- Autre financement public
- Institut Thématique Interdisciplinaire IRMIA++
- Lieu de travail
- STRASBOURG
- Grand Est
- France
- Intitulé du sujet
- Making Coq Proofs More Reliable and
More Easily Reusable:
Applications to Mathematics- Champs scientifiques
- Informatique
- Informatique
- Mathématiques
Mots clés
- Mathématiques
Description du sujet:
Supervision:
Nicolas Magaud (ICube, Strasbourg)
Laboratory and team:
ICube, Strasbourg - Team "IGG"
Subject description:
Proof assistants like Coq or Lean are increasingly popular to help mathematicians carry out proofs of the results they conjecture.
However, formal proofs remain highly technical and are difficult to reuse.In this thesis, we propose to design and implement new tools to improve the robustness, the inter-operability and the reuse of formal proof developments.
We hope this will make proving new results formally easier.Related mathematical skills:
Foundations of Mathematics, Logic and Type Theory, Applications are possible in various fields of mathematics including combinatorics, algebraic and/or differential geometry and applied mathematics.
Prise de fonction:
- 04/09/2023
Nature du financement: - Autre financement public
Précisions sur le financement:
Présentation établissement et labo d'accueil:
- Institut Thématique Interdisciplinaire IRMIA++
It encompasses all mathematicians at Université de Strasbourg, with partners in computer science and physics.
ITI IRMIA++ builds on the internationally renowned research in mathematics in Strasbourg, and its well-established links with the socio-economic environment.
It promotes interdisciplinary academic collaborations and industrial partnerships.
A core part of the IRMIA++ mission is to realize high-level training through integrated master-PhD tracks over 5 years, with common actions fostering an interdisciplinary culture, such as joint projects, new courses and workshops around mathematics and its interactions.
Site web:
- 25/04/2023