A postdoctoral research position is open at IMT Atlantique Nantes in the TASC team on the topic of
_ Constraint Programming applied to Cryptanalysis.
_ starting Oct. 2021, until Dec. 2022, ANR project DeCrypt,
_ where you must submit your application until == Sept. 1, 2021 ==.
_ Contact us for more information : Charles Prud’homme ([email protected]), Charlotte Truchet ([email protected]).
_ -- Context -- Cryptography is a cornerstone of everyday digital security as it aims at ensuring confidentiality and integrity of digital communications. These tasks are achieved by using keys (i.e., strings of characters) to encrypt and decrypt messages. In applications such as e-commerce or bank transactions, hybrid cryptography combines both forms of cryptography to create a secure channel: first, public key cryptography is used to cipher a common key; then symmetric cryptography is used to encrypt and decrypt transactions with the common key, mostly because it is faster.
_ -- The project -- In the DeCrypt project (https://decrypt.limos.fr/), we focus on symmetric cryptography which is widely used. In this case, the same key is used both to encrypt and decrypt messages. To solve hard combinatorial optimization problems encountered in cryptanalysis, a first possibility is to develop dedicated approaches. However, developing efficient approaches is a difficult task which implies a hard programming job (efficiency, bug free, correction, …) difficult to reproduce. Hence, an appealing alternative to dedicated approaches is to use automatic solving tools, such as Mixed Integer Linear Programming (MILP), or Boolean satisfiability solvers (SAT).
_ Constraint Programming (CP) is another automatic solving tool that may be used to solve cryptanalysis problems. Recently, CP-based approaches were introduced to solve challenging symmetric cryptanalysis problems. This opens very promising perspectives. In particular, CP models provide short and human-readable declarative models of cryptanalysis problems, and that CP solvers are not only competitive with dedicated tools, but also outperform them for some problems.
_ The main task of the post-doc will be to work on inferences to improve the cryptanalyst experience whether to improve the resolution or interpretation of a result. We are looking for highly motivated researchers with a strong background either in constraint programming or in SAT. We will also consider applications from related fields in Combinatorial Optimization.
_ — Location -- The post-doc will be located at IMT Atlantique in Nantes. Travel to Rennes is also expected.
_ IMT Atlantique is one of the top 10 engineering schools in France with 3 campuses (Brest, Nantes and Rennes). It is a general engineering grande école financed by the Ministry of Industry and Digital Communication with three main areas of expertise: digital, energy and the environment.
_ -- Pre-requisite -- The candidate should have a PhD in computer science, with a specialization in either cryptanalysis or applied mathematics (MILP, CP, SAT). The candidate will have strong problem modelling skills and experience in developing or using algorithms. Excellent mastery of scientific programming and algorithmic will be a very important selection criterion.
_ Good knowledge of optimization algorithms is strongly recommended, and proficiency in Java is a plus. The DeCrypt project is multidisciplinary, and the candidate should be able to bridge the gap between the different disciplines. The candidate will demonstrate a communication level compatible with daily work (in either French or English) added to excellent teamwork competencies.
_ — Salary -- The successful candidate will receive a net monthly salary of 2 326 EUR for 15 months and additional funding for travel, research visits and international conferences.
_ — Application -- To apply, send a single pdf file including a detailed CV, a motivation letter, a full list of publications. The deadline for application is September 1, 2021 for a position to start as soon as possible. Contact Charles Prud’homme ([email protected]) and Charlotte Truchet ([email protected]) for more information.
_ Charles Prud'homme -- Maitre-Assistant Informatique, DAPI -- TASC tel: +33 251 85 83 68
_ [ http://www.imt-atlantique.fr/ ]
_ [ http://choco-solver.org/ ]
Dear all, Please find below a call for a 12-month post-doc position at the University of Caen Normandy.
_ Regards, French version below
_ 12-month postdoctoral mission to develop models and simulation algorithms of the health state of a territory: a case study in monitoring pollen-mold concentrations in Normandy.
_ Summary : The project aims at developing models and algorithms for predicting and simulating the health state of a territory. The project consists of two steps. First, data of pollen-mold related to the health of a territory should be represented, analysed and modelled. Second, the practical interest of prediction and simulation are performed on the prepared data. The framework will then be used to simulate and predict the effect of a public decision (e.g. the requirement to wear masks).
_ The mission will be located at the GREYC Laboratory (University of Caen Normandy, CNRS UMR 6072), it will start in September or October 2021.
_ Required scientific background: The candidate must have a PhD in Computer Science. Candidates with strong scientific skills on data science are recommended. Knowledge on spatio-temporal representations and prediction/simulation are appreciated.
_ Application: Candidate should send their CV and a motivation letter to [email protected],
[email protected] and abdel-illah.mouaddib@unicaen. fr before 20th August 2021.
[FR] 12-month postdoctoral mission to develop techniques for modeling and simulating the state of health of a territory: application to the monitoring of pollen-mold in Normandy.
summary: The project consists of representing, analyzing and modeling the state of health of a territory and its evolution over time from data from various open and non-open sources. Also, this project should make it possible to simulate actions to modify elements of the territory and consequently the state of health of the latter. For example, the effect of mask-wearing on the spread of a virus could be measured.
The mission will begin in September or October 2021 at the GREYC laboratory (University of Caen Normandie, CNRS UMR 6072).
Prerequisite: The candidate must have a PhD in computer science. They must have a solid knowledge of data science (data extraction and representation). In addition, skills in the representations of spatial and temporal information and in the fields of prediction and simulation will be appreciated.
Apply: To apply, send CV and cover letter to [email protected],
[email protected] and abdel-illah.mouaddib@unicaen. fr before August 23, 2021.
-- Abdelkader Ouali
The IT department of the IUT of Laval is looking for a lecturer in computer science from the beginning of the 2021 school year. The candidate must hold a master's degree or a diploma equivalent to Bac+5 or hold a bachelor's degree or diploma equivalent to Bac+3 and have at least 5 years' professional experience in the field of competence expected in the latter case.
needs are as follows (non-exhaustive list):
Teaching on the 3 levels (GOAL 1, DUT 2, LP);
Teaching in the 2nd year in mobile development on Android.
Teaching for the Object Oriented Design module in the 1st year.
Intervention for a computer discovery workshop in law degree in Laval.
Participation in the supervision of projects and internships.
For more details and to apply(at most onAugust13, 2021),please go to the link below and consult the job sheet 27CDD-03
http://www.univ-lemans.fr/fr/university/s-engage-in-our-odds/we-recruit/contract-teachers.html
Ludovic Hamon Lecturer
Laboratoire d'Informatique de l'Université du Mans (LIUM, EA4023) Team: Engineering of Computer
Environments for Human Learning (IEIAH) Responsible for the internships of students in the second year of the
DUT informatique IUT de Laval, computer department 52 route des Docteurs Calmette et Guérin, 53020 - LAVAL Cedex 09 Tel: 02 43 59 49 01
Hello, The ICube UMR 7357 laboratory of the University of Strasbourg is looking for a post-doctoral student who has defended his thesis during the academic years 2019-20 or 2020-21 for an AI project / optimization of personalized pedagogical trajectories.
The duration of the project is 12 months renewable once.
The details of the offer are available in the attached file.
regards, Anne Jeannin-Girardon
-- Anne Jeannin-Girardon, PhD Associate Professor, University of Strasbourg ajeannin.github.io
CRBS / ICube laboratory - UMR 7357 CSTB research team (Complex Systems and Translational Bioinformatics) 1 rue Eugène Boeckel, CS 60026, 67084 Strasbourg
Comment candidater Envoyez CV et lettre de motivation expliquant votre intérêt pour le sujet de post-doc à :
Dear Colleagues, Please consider an offer for a three-year funded PhD thesis in Saint-Étienne, France.
- topic: Anomaly detection in images, application to digital humanities. - approach: Unsupervised learning and novel autoencoding architectures. - work environment:
The hosting research groups have established expertise in relevant domains including statistical machine learning, unsupervised learning, image analysis and computer vision. Saint-Etienne is a mid-size city (14th biggest city in France), one of the cheapest in terms of living cost (accommodation, food) and located at 70km from Lyon (45 min by train) and in a middle of a splendid regional park where skiing, hiking, climbing, biking are possible.
Subject and application details are at the link below.
Applications will be reviewed continuously.
https://dl.heeere.com/2021-PhDofferROIi.pdf
Rémi Emonet Laboratoire Hubert Curien, UMR CNRS 5516, Université Jean Monnet de Saint-Etienne
The Grenoble Computer Laboratory (LIG) recruits a motivated person and strength of proposal for a 12-month design engineer contract (renewable once) in mobile computing.
The recruited person will contribute to the THERADIA project, which consists of developing a virtual assistant to accompany patients suffering from cognitive disorders during the realization of cognitive remediation sessions at home.
Fabien Ringeval [email protected]
Bonjour, Nous recherchons un.e candidat.e pour une thèse sur la simulation multi-agent pour la prise de décision intelligente dans les réseaux 5G+.
https://orange.jobs/jobs/offer.do?joid=101949
Je vous remercie de diffuser cette offre auprès de vos étudiants.
Bien cordialement, Chaima Ghribi
Hello, A post of Associate Professor in computer science , machine learning profile, is open at AgroParisTech for the fall session.
Details of the profile and the application procedure are available at: http://www2.agroparistech.fr/Enseignants-chercheurs-712.html
The job profile is described in: http://www2.agroparistech.fr/IMG/pdf/session_2-notice_mc-info_mmip.pdf
The deadline for sending files is August 9, 2021 , postmarked.
For information on the position, you can contact:
- Antoine Cornuéjols ( [email protected] ), head of the EKINOCS team
- Liliana Ibanescu ( [email protected] ), head of the IT department
-------------------------------------------------- ---------------------------------- Antoine CORNUEJOLS Computer teacher AgroParisTech MMIP Department UMR MIA-Paris AgroParisTech - INRA
16, rue Claude Bernard , F-75 231 PARIS Cedex 05 Phone. (+33) 1 44 08 72 29 - Fax (+33) 1 44 08 16 66
Email: [email protected] Web: http://www.agroparistech.fr/ufr-info/membres/cornuejols/