Description

The Laboratory for Computer-Human Intelligence in the Division of Engineering of New York University Abu Dhabi (NYUAD), seeks to recruit a motivated Post-Doctoral Associate to work on cutting-edge machine learning / artificial intelligence applications that utilize human signals (e.g. text, audio, physiology).

Technical Experience

The successful applicant will have the following technical experience in:

• The development of end-to-end applications (e.g. databases, algorithms, visualizations).
• Processing one or more data types/signals (e.g. text, audio, images, physiology).
• Applying machine learning algorithms (e.g. regression, neural networks).
• Utilizing the following programming languages/frameworks: bash, SQL, Python, HTML, Javascript, and Tensorflow/Pytorch, as well as code version control (git).
• Authoring peer-reviewed scientific papers in top-tier scientific venues.

Attitude

The successful applicant should be self-driven and interested in the general domain of machine learning (e.g. latest ideas, research findings, research tools), contain a scientific curiosity for formalizing the underlying mechanisms of the observable world (e.g. do we make conclusions based on the words in speech, or intonation of speech?), and is passionate about creating timeless systems, with an attention to detail and zeal for quality.

Educational Experience

The successful application will have a PhD degree in Computer Science (or equivalent major).

Application Requirements

Applications will be considered on a rolling basis until the position is filled. An applicant that passes the review process will be accepted immediately. The terms of employment are very competitive and include housing and educational subsidies for children. To be considered, all applicants must submit both a screening form and a full application docket in PDF format.

Step 1: Completion of the screening form available here:

https://docs.google.com/forms/d/e/1FAIpQLScZcw6akzsmE4Zjkm4S722nCQM8xmzLcsQc56vu2__7dKI-Aw/viewform

Step 2: The full application docket in PDF format must include the following:

1. Cover letter
2. Curriculum Vitae
3. Transcript of degree
4. Research Statement
5. Two letters of recommendation

If you have any questions, please email:

Professor Tuka Alhanai, Lab Principal Investigator at tuka.alhanai@nyu.edu.

About NYUAD

NYU Abu Dhabi is a degree-granting research university with a fully integrated liberal arts and science undergraduate program in the Arts, Sciences, Social Sciences, Humanities, and Engineering. NYU Abu Dhabi, NYU New York, and NYU Shanghai, form the backbone of NYU’s global network university, an interconnected network of portal campuses and academic centers across six continents that enable seamless international mobility of students and faculty in their pursuit of academic and scholarly activity. This global university represents a transformative shift in higher education, one in which the intellectual and creative endeavors of academia are shaped and examined through an international and multicultural perspective. As a major intellectual hub at the crossroads of the Arab world, NYUAD serves as a center for scholarly thought, advanced research, knowledge creation, and sharing, through its academic, research, and creative activities.

EOE/AA/Minorities/Females/Vet/Disabled/Sexual Orientation/Gender Identity Employer

UAE Nationals are encouraged to apply.

Location

This position is not located in the United States. You must be willing to relocate to Abu Dhabi, United Arab Emirates.

Application Process

This institution is using Interfolio's Faculty Search to conduct this search. Applicants to this position receive a free Dossier account and can send all application materials, including confidential letters of recommendation, free of charge.

Equal Employment Opportunity Statement

For people in the EU, click here for information on your privacy rights under GDPR: www.nyu.edu/it/gdpr

NYU is an equal opportunity employer committed to equity, diversity, and social inclusion.

Description

The Division of Engineering at New York University Abu Dhabi, seeks to recruit a motivated postdoctoral associate to work under the supervision of professor Pradeep George in process Optimization, with emphasis on Chemical vapor Deposition (CVD). The successful applicant must have a strong background in the area of Computational Fluid Dynamics. Familiarity with response surface modeling and optimization, is a plus. Experience using commercial codes like ANSYS-FLUENT is desirable. The candidate will work in a multidisciplinary environment consisting of PhD-level scientists and undergraduate students. In addition to conducting high-quality innovative research, responsibilities also include publishing research findings in scientific journals and conferences, mentoring undergraduate students, and participate in drafting research grant proposals.

Applicants must have a PhD in mechanical engineering, or closely-related fields. For consideration, applicants need to submit the following in PDF format:

• cover letter,
• curriculum vitae with full publication list,
• statement of research interests,
• contact details of at least three references
• sample relevant publications (if available)

Applications will be accepted immediately, and candidates will be considered until the position is filled. The terms of employment include a highly competitive salary, medical insurance, housing allowance, annual home-leave travel, educational subsidies for children, and other benefits.

If you have any questions, please email prof. Pradeep George, pg66@nyu.edu

About NYUAD:

NYU Abu Dhabi is a degree-granting research university with a fully integrated liberal arts and science undergraduate program in the Arts, Sciences, Social Sciences, Humanities, and Engineering. NYU Abu Dhabi, NYU New York, and NYU Shanghai, form the backbone of NYU’s global network university, an interconnected network of portal campuses and academic centers across six continents that enable seamless international mobility of students and faculty in their pursuit of academic and scholarly activity. This global university represents a transformative shift in higher education, one in which the intellectual and creative endeavors of academia are shaped and examined through an international and multicultural perspective. As a major intellectual hub at the crossroads of the Arab world, NYUAD serves as a center for scholarly thought, advanced research, knowledge creation, and sharing, through its academic, research, and creative activities.

EOE/AA/Minorities/Females/Vet/Disabled/Sexual Orientation/Gender Identity Employer

UAE Nationals are encouraged to apply

Equal Employment Opportunity Statement

For people in the EU, click here for information on your privacy rights under GDPR: www.nyu.edu/it/gdpr

NYU is an equal opportunity employer committed to equity, diversity, and social inclusion.

Open Rank, Professor in Economics, with a priority given to the field of Theoretical or Applied Econometrics, Tenured/Tenure Track

Description

The Economics Program in the Division of Social Science at New York University Abu Dhabi (NYUAD) is inviting applications from economists with an excellent research record. Strong preference will be given to candidates in theoretical or applied econometrics, but outstanding candidates in all fields may be considered. The position comes with generous research support.

About NYU Abu Dhabi

Established in partnership between New York University (NYU) and the emirate of Abu Dhabi, over the last decade, NYUAD has assembled a remarkable community of scholars, students, researchers, artists, inventors, and others who have contributed to the growth of the UAE’s capital as a global hub of knowledge and culture while establishing a new model of higher education for today’s complex world.

NYUAD is animated by inspiring and diverse faculty, students, and staff working together in an exciting and dynamic city. As an international center of excellence in teaching and research, our goal is to attract outstanding faculty who are leaders in their fields, encouraging them to create programs that draw outstanding students and provide an intellectually rich environment.

NYUAD students come from more than 126 countries, with no single nationality exceeding more than 15 percent of the total student population. Likewise, our over 320 faculty members represent more than 45 nationalities and bring a global perspective to their classrooms and research projects. NYUAD is committed to building and strengthening a university-wide culture of inclusion, diversity, belonging and equity (IDBE), which is fundamental to the University’s commitment to excellence. Visit our website for more information on NYUAD’s commitment to IDBE and how these values are fundamental to our mission.

Students are drawn from among the world’s best. They are bright, intellectually passionate, and committed to building a campus environment anchored in mutual respect, understanding, and care. The NYUAD undergraduate student body has garnered an impressive record of scholarships, graduate-school admissions, and other global honors. Graduate education is an area of growth for the University; the current graduate student population of over 100 students is expected to expand in the next decade as doctoral programs are developed. In Economics, we currently offer a Bachelor’s and a MSc degree.

Working for NYUAD

At NYUAD, we recognize that Abu Dhabi is more than where you work; it’s your home. In order for faculty to thrive, we offer a comprehensive benefits package. This starts with a generous relocation allowance; educational assistance for your dependents; access to health and wellness services; and more. NYUAD is committed to faculty success throughout the academic trajectory, providing support for ambitious and world-class research projects and innovative, interactive teaching approaches. Support for dual-career families is a priority. Visit our website for more information on benefits for you and your dependents.

Qualifications

This position requires a Ph.D. in economics.

Application Instructions

To apply for this position, please submit the following items:

• Curriculum Vitae (CV)
• Cover Letter
• Teaching Statement
• Research Statement
• Recent teaching evaluations (optional)
• Diversity Statement (how you would contribute to inclusion, diversity, belonging, and equity)
• Up to 5 representative publications or other writing samples
• Names and email addresses of 3 references (each will be contacted to upload their reference via Interfolio). Senior candidates may delay having references sent until they know if they are finalists.

We will review applications on a rolling basis and will continue until the position is filled. We will anticipate that successful candidates can start the appointment and relocate to Abu Dhabi in the academic year 2024-2025.

For questions about this position, please email nyuad.socialscience@nyu.edu.

Join NYU Abu Dhabi, an exceptional place for exceptional people.

NYUAD values diversity, inclusion, belonging, and equity; such principles are fundamental to the university's commitment to excellence. NYUAD is an equal opportunity employer. We particularly welcome applications from members of traditionally underrepresented groups, women, and UAE nationals. Multidisciplinary research and exceptional teaching in a highly diverse and inclusive campus community are hallmarks of the University’s mission.

@WorkAtNYUAD #nyuadfacultycareers

Application Process

This institution is using Interfolio's Faculty Search to conduct this search. Applicants to this position receive a free Dossier account and can send all application materials, including confidential letters of recommendation, free of charge.

Equal Employment Opportunity Statement

For people in the EU, click here for information on your privacy rights under GDPR: www.nyu.edu/it/gdpr

NYU is an equal opportunity employer committed to equity, diversity, and social inclusion.

Description

The laboratory of Dr. Djellel Difallah in the Division of Science, New York University Abu Dhabi, seeks a research assistant to join a new lab focused on human-machine learning.

The successful applicant will participate in research involving human computation, knowledge discovery, machine learning, and data science. The position will provide the opportunity to develop applied research skills in machine learning, interact with an international network of collaborators, and gain pre-doctoral research experience.

The ideal candidate is self-motivated and can work independently, has a passion for AI and its applications, and is willing to learn new technologies. The candidate should have a BS (MS preferred) in Computer Science or another related field. Relevant background and skills include:

• Strong foundation in one of the following areas: Machine Learning / Information Retrieval / Recommender Systems
• Graph Theory/Network Science
• Strong design, development & testing skills
• Python, C , Javascript
• Excellent web development skills
• Experience with probabilistic programming and deep learning frameworks is a plus

For consideration, applicants need to submit a cover letter, curriculum vitae, list of publications (if applicable), a 1-page statement of research interests, and three letters of reference. If you have any questions, please email: dd115@nyu.edu

About NYUAD:

NYU Abu Dhabi is a degree-granting research university with a fully integrated liberal arts and science undergraduate program in the Arts, Sciences, Social Sciences, Humanities, and Engineering. NYU Abu Dhabi, NYU New York, and NYU Shanghai, form the backbone of NYU’s global network university, an interconnected network of portal campuses and academic centers across six continents that enable seamless international mobility of students and faculty in their pursuit of academic and scholarly activity. This global university represents a transformative shift in higher education, one in which the intellectual and creative endeavors of academia are shaped and examined through an international and multicultural perspective. As a major intellectual hub at the crossroads of the Arab world, NYUAD serves as a center for scholarly thought, advanced research, knowledge creation, and sharing, through its academic, research, and creative activities.

EOE/AA/Minorities/Females/Vet/Disabled/Sexual Orientation/Gender Identity Employer

UAE Nationals are encouraged to apply.

Qualifications

This position is not located in the United States. You must be willing to relocate to Abu Dhabi, United Arab Emirates.

Equal Employment Opportunity Statement

For people in the EU, click here for information on your privacy rights under GDPR: www.nyu.edu/it/gdpr

NYU is an equal opportunity employer committed to equity, diversity, and social inclusion.

Description

The Division of Science, Mathematics department at New York University Abu Dhabi is inviting applications for fully-funded research associate position in the following areas:

• Stability of 2D/3D crowd motion and multi-level building evacuation using mean-field-type games.
• Stability of singularity formation in fluid systems.
• Nonlinear instabilities and transition thresholds in Couette flow
• Wave turbulence
• Stability in geophysical fluids and plasmas physics

Applicants must hold a Ph.D. in Applied Mathematics, Physics/Mechanical Engineering with demonstrated expertise in the area of Computational Fluid Dynamics and stability analysis. At least 5 years of post Ph.D. research experience in the field is required. PhD holders with a strong publication record, a background in computational fluid dynamics, laminar to turbulence transition, and vortex dynamics are encouraged to apply. Experience in high-performance computing is required.

The terms of employment are very competitive and include housing and educational subsidies for children. Applications will be accepted immediately and candidates will be considered until the position is filled. To be considered, all applicants must submit a cover letter, curriculum vitae, transcript of degree, a one-page summary of research accomplishments and interests, and at least 2 letters of recommendation, all in PDF format. If you have any questions, please email: nm30@nyu.edu.

About NYUAD:

NYU Abu Dhabi is a degree-granting research university with a fully integrated liberal arts and science undergraduate program in the Arts, Sciences, Social Sciences, Humanities, and Engineering. NYU Abu Dhabi, NYU New York, and NYU Shanghai, form the backbone of NYU’s global network university, an interconnected network of portal campuses and academic centers across six continents that enable seamless international mobility of students and faculty in their pursuit of academic and scholarly activity. This global university represents a transformative shift in higher education, one in which the intellectual and creative endeavors of academia are shaped and examined through an international and multicultural perspective. As a major intellectual hub at the crossroads of the Arab world, NYUAD serves as a center for scholarly thought, advanced research, knowledge creation, and sharing, through its academic, research, and creative activities.

EOE/AA/Minorities/Females/Vet/Disabled/Sexual Orientation/Gender Identity Employer

UAE Nationals are encouraged to apply.

Equal Employment Opportunity Statement

For people in the EU, click here for information on your privacy rights under GDPR: www.nyu.edu/it/gdpr

NYU is an equal opportunity employer committed to equity, diversity, and social inclusion.

Assistant/Associate Professor - Collection Development and Instruction Librarian

ID: 1874 Department: Townsend Memorial Library Type: Full-time Faculty Post Date: 04/24/2024 Position Available Date: N/A

Description The University of Mary Hardin-Baylor's Townsend Memorial Library seeks qualified faculty member with an initial appointment at the rank of Assistant or Associate Professor (non-tenure track), commensurate with experience. UMHB seeks faculty who are active Christians and dedicated librarians to prepare students for leadership, service, and faith-informed discernment in a global society.

The Townsend Memorial Library supports instruction, research, creativity, and the advancement and transmission of knowledge as the University prepares students for leadership, service, and faith-informed discernment in a global society.

UMHB is conveniently located in Belton, an historic town of 22,000 in the heart of central Texas. Nearby cities are Temple (5 miles), Waco (45 miles), Austin (65 miles), San Antonio (130 miles) and Dallas/Ft. Worth (130 miles). Excellent schools, abundant cultural and recreational opportunities, and a high quality of life are hallmarks of the local community.

Faculty Responsibilities: Activities required of all faculty include exemplary librarianship, collection development, professional development; and service to the library and the university.

Specific Responsibilities: Oversee the acquisition of all physical materials as well as electronic materials (in conjunction with the Electronic Resources Librarian), according to university policies and guidelines, including the expenditure, processing, payment, and reconciliation of the collections budget.

• Coordinate with subject librarians on selection and collection development matters such as review, withdrawal, duplication, etc.
• Create and communicate reports as requested regarding expenditures, accounting, and budgets.
• Serve as library liaison to selected academic programs.
• Provide Reference and Instruction services as needed.
• Develop procedures and workflows for training and efficiency.
• Participate in professional development activities in collection development and academic librarianship.

Qualifications:

• MLS or MLIS from an ALA-accredited program. New graduates are encouraged to apply.
• Excellent library instruction and communication skills, a dedication to professional development, and commitment to quality improvement are essential.
• Appreciation for and ability to deal positively and sensitively with a variety of patrons.
• Meticulous attention to detail is required.
• Must be an active, and committed Christian.

Salaries and Benefits: Competitive salary commensurate with experience, excellent benefits including medical and dental insurance, retirement plan with match and UMHB tuition benefits for employees and their dependents. Application Deadline: Position will remain open until filled. To Apply: Please click the “Apply Now” link to apply for this position.

Visit www.umhb.edu/careers for more details and to apply. Please submit a cover letter, CV, transcript copies and evidence of quality librarianship with your online application. Your letter of interest should also respond to UMHB's mission and values, found at http://about.umhb.edu/our-mission. In addition, include in one page or less, a description of your own Christian beliefs and commitments.

Review of applications will begin immediately and continue until position is filled.

For information regarding employment at the University of Mary Hardin-Baylor, please visit our Careers Site.

To apply, visit https://umhb.applicantstack.com/x/detail/a2zc18onkda2

To have more details on this Job opportunity please visit the full job description at https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/ListesPoste…

Objectif : Nous recherchons activement un stagiaire postdoctoral ou un ingénieur pour diriger le développement d'un système d'imagerie informatique à grande vitesse adapté à l'imagerie hyperspectrale. Cette caméra de pointe doit être développée pour détecter le signal de fluorescence de la Protoporphyrine, notamment dans le cadre de la résection de gliomes. Ce rôle, financé par l'ANR, englobera l'ensemble des responsabilités, de la conceptualisation et de la simulation à la conception du système, en passant par la mise en œuvre pratique et la caractérisation complète. Cette opportunité passionnante impliquera l'acquisition d'hypercubes à partir d'échantillons de gliomes ex vivo et in vivo directement dans la salle d'opération de l'hôpital. Mots clés : Imagerie hyperspectrale, optique géométrique, spectromètre, fluorescence, imagerie mono-pixel , Python, gliome. Contexte : Notre groupe de recherche se consacre à l'avancement des systèmes d'imagerie informatique qui exploitent la synergie des innovations matérielles et logicielles [1, 2], avec un accent spécifique sur l'acquisition de cubes de données hyperspectraux caractérisés par deux dimensions spatiales et une dimension spectrale. À cette fin, nous avons développé une configuration d'imagerie hyperspectrale interne (comme le montre la figure 1a) composée d' un dispositif à micromiroir numérique (DMD), d'un spectromètre et d'une caméra. Dans cette configuration, le spectromètre capture une série de spectres associés à des modèles de lumière prédéfinis chargés sur le DMD, nous permettant de reconstruire le cube de données hyperspectral. Cette conception de système innovante découle de notre objectif principal : optimiser la résection des gliomes pour améliorer l’espérance de vie des patients. Actuellement, l’ablation des gliomes implique une intervention chirurgicale qui consiste à ouvrir la cavité crânienne et à extraire la tumeur. Lors de cette opération, les neurochirurgiens utilisent un microscope à fluorescence pour observer l'émission de Protoporphyrine IX (PpIX), un fluorophore présent sélectivement dans les cellules tumorales. Cependant, le microscope à fluorescence actuel ne peut fournir que des informations sur l'intensité totale de la fluorescence . Notre équipe de recherche a démontré qu’en exploitant le spectre complet de PpIX présent dans les gliomes, il est possible de distinguer les frontières entre tissu tumoral et tissu sain [3]. Par conséquent, notre configuration initiale est transportée vers la salle d'opération du bloc neurochirurgical, nous permettant d'acquérir des cubes de données hyperspectrales à partir de biopsies réalisées au cours de la procédure (comme illustré sur la figure 1b-1). Ces biopsies présentent des caractéristiques spectrales distinctes (comme le montre la figure 1b -2/3) à divers endroits, nous permettant d'identifier la frontière séparant les cellules saines et tumorales. Cette innovation- L’approche efficace est très prometteuse pour améliorer la précision et l’efficacité des procédures de résection des gliomes. Défi : Actuellement, la durée totale d'acquisition est adaptée aux échantillons de biopsie mais s'avère peu pratique pour l'imagerie in vivo, sans parler du manque de résolution spatiale. En réponse, notre groupe de recherche a développé des stratégies d'imagerie compressive visant à réduire le nombre de modèles requis pour l'acquisition, diminuant ainsi la durée totale d'acquisition. Cette approche innovante fait appel à des réseaux de neurones profonds pour reconstruire le cube hyperspectral correspondant à la scène observée. Au fil du temps, nous avons proposé diverses architectures de réseaux profonds [4], chacune conçue pour optimiser le processus de reconstruction hyperspectrale. Ces réseaux se sont révélés très efficaces pour débruiter les données expérimentales obtenues avec notre dispositif d'imagerie hyperspectrale. Même si cela représente une avancée significative, elle reste insuffisante pour des applications cliniques in vivo . Un développement matériel est nécessaire pour améliorer la vitesse en développant une deuxième configuration. Les tâches principales du projet comprennent : • la prise en charge du dispositif optique existant et ses améliorations • le développement du deuxième dispositif optique • le développement du logiciel de contrôle de l'instrumentation (basé sur le package SPAS [5])

l'utilisation d'un algorithme de reconstruction avancé basé sur l'apprentissage profond (basé sur le package spyrit[6]) • la caractérisation du dispositif d'imagerie (par exemple, sensibilité, résolution spatiale et spectrale) Détails du projet Le projet comprend deux tâches principales concurrentes : • Configuration optique Amélioration et imagerie de biopsie : La première tâche consiste à prendre en charge la configuration optique existante et à apporter des améliorations, tant au niveau logiciel que matériel, si nécessaire. La configuration améliorée sera utilisée pour acquérir des cubes de données hyperspectrales à partir de biopsies dans la salle d'opération de l'hôpital. Ces cubes acquis seront analysés et comparés à l'analyse anapathologique. Cette comparaison vise à distinguer les cellules tumorales des cellules saines, fournissant ainsi des informations précieuses pour les applications cliniques. • Développement d'un spectromètre à capteur 2D : La deuxième tâche se concentre sur la création d' une toute nouvelle configuration optique visant à accélérer le processus d'acquisition de données hyperspectrales. Le bras spectral actuel, qui utilise un spectromètre commercial doté d'un capteur 1D, sera remplacé par un spectromètre à capteur 2D sur mesure. Cette nouvelle configuration comprendra un réseau, un prisme et une caméra, permettant la capture simultanée du spectre complet de plusieurs lignes d'image. Contrairement au dispositif actuel, qui acquiert des lignes de manière séquentielle à l’aide d’un capteur linéaire, cette avancée devrait augmenter considérablement la vitesse d’imagerie. A titre d'exemple, une image 64x64 peut être acquise 64 fois plus rapidement qu'avec la configuration existante. Le logiciel d'acquisition sera mis à jour pour gérer les modèles 2D correspondant aux modèles Hadamard 1D qui se répètent dans une direction. Le candidat retenu sera responsable de la construction du spectromètre 2D, impliquant l'utilisation d'une lentille cylindrique pour compresser une dimension spatiale et d'un prisme ou d'un réseau (ou d'une combinaison des deux) pour disperser et diffracter la lumière sur le capteur 2D. Ces deux tâches représentent les éléments essentiels de notre projet, avec le potentiel d' améliorer considérablement nos capacités d'imagerie hyperspectrale et leurs applications pratiques dans le domaine médical. Compétences : Nous recherchons un candidat enthousiaste et motivé possédant une solide expérience en conception de configurations optiques. La maîtrise de la programmation Python est un prérequis pour ce rôle, car elle sera essentielle au développement du capteur 2D. Salaire : entre 2000 € et 2400 € net mensuel selon l'expérience

durée : 18 mois. Comment postuler : Envoyer CV et lettre de motivation à mahieu@creatis.insa-lyon.fr et Bruno. Montcel@creatis.insa-lyon.fr Références [1] G. Beneti Martins, L. Mahieu-Williame, T. Baudier et N. Ducros, « Openspyrit : un écosystème pour l'imagerie hyperspectrale ouverte à un seul pixel », Opt Express, vol. 31, pp. 15599-15614, mai 2023. [2] https://www.creatis.insa-lyon.fr/˜ducros/WebPage/single_pixel_imaging.html . [3] L. Alston, L. Mahieu-Williame, M. Hebert, P. Kantapareddy, D. Meyronet, D. Rousseau, J. Guyotat et B. Montcel, « Complexité spectrale de la fluorescence PpIX induite par le 5-ALA en chirurgie : Une étude clinique vers la discrimination des tissus sains et des limites des marges dans les gliomes de haut et de bas grade », vol. 10, pp. 2478-2492, mai 2019. [4] FP Antonio Lorente Mur, Pierre Leclerc et N. Ducros, « Reconstruction d'images mono-pixels à partir de données expérimentales à l'aide de réseaux de neurones ». Optique Express, Vol. 29, numéro 11, pp. 17097-17110, mai 2021. [5] https://github.com/openspyrit/spas . [6] https://github.com/openspyrit/spyrit .

Dans le flux de production des circuits numériques, la synthèse prend en entrée la description du modèle de circuit, généralement exprimée dans un langage de description de matériel (par exemple, VHDL, Verilog) et produit en sortie la netlist au niveau de la porte pour un plan d'implantation donné. Le flux de synthèse est principalement composé de deux étapes principales : (i) Synthèse logique et optimisation et (ii) Place&Route. Comme défini dans [1], le problème global de la synthèse logique est celui de trouver « la meilleure implémentation » d'une fonction booléenne. Le terme « meilleur » correspond à un compromis entre plusieurs métriques telles que la surface, le délai et la consommation électrique. Le Place&Route vise à optimiser le placement physique de chaque porte logique dans un plan d'implantation donné et à acheminer les interconnexions des portes logiques. Il est important de garder à l'esprit que la synthèse logique est généralement basée sur la connaissance de la technologie utilisée pour implémenter les portes logiques et consiste à mapper des fonctions booléennes dans la « meilleure » interconnexion d'instances d'éléments de bibliothèque. Aujourd'hui, avec l'essor des technologies alternatives au CMOS, nous sommes confrontés à de nouveaux défis pour la synthèse logique. Il est donc obligatoire de bien comprendre les portes logiques et séquentielles construites au sommet des technologies émergentes et d’identifier les opportunités disponibles. Cette thèse se concentrera sur le transistor ferroélectrique (FeFET) qui est simplement une extension d'un MOSFET classique ou FDSOI (Fully Depleted Silicon On Insulator) avec une couche supplémentaire de matériau ferroélectrique à base de HfO2 [2] à l'intérieur de l'empilement de grille. La couche ferroélectrique se comporte comme une capacité ferroélectrique qui contrôle réellement l'état du canal FET. Les FeFET fonctionnent selon deux modes différents : un mode non volatil, qui nécessite un fonctionnement hystérétique, et un mode de commutation abrupte, qui peut être hystérétique ou non hystérétique [2]. Le rapport entre la capacité ferroélectrique et la capacité diélectrique détermine le mode de fonctionnement du FeFET. Cette thèse vise à étudier les transistors FeFET de type n et p basés sur des dispositifs physiques réels [2]. Le premier objectif est de concevoir une bibliothèque technologique utilisée davantage pour la synthèse logique et la conception des éléments de mémoire FeFET. Le deuxième objectif est d'étudier les outils de synthèse logique existants (tels que ABC [3]) et de les adapter pour fonctionner avec la technologie FeFET. Cette thèse s'inscrit dans le cadre du projet de recherche franco-allemand HiLoDa Nets, le groupe Electronique de l'INL travaillera en collaboration avec le Hardware/Software Co-Design du Département d'Informatique de la FriedrichAlexander- Universität Erlangen-Nürnberg (FAU) . Dans ce contexte nous recherchons actuellement un doctorant (h/f) pour un contrat de 3 ans qui sera encadré par Damien Deleruyelle (INL) et Cédric Marchand (INL).   Description de l'emploi Le doctorat. la thèse est structurée en 5 tâches principales suivantes 1. Modélisation FeFET (M1 à M6) • Dans cette tâche, le modèle compact FeCap disponible à l'INL sera utilisé pour construire des cellules unitaires FeFET de type n et p. Le modèle Verilog-A FeCap sera intégré à Spectre et couplé aux modèles n- et p-MOSFET disponibles dans les kits de conception standard de 28 nm pour construire les cellules unitaires FeFET de type n et p correspondantes. Les modèles seront calibrés à partir des données collectées à l'INL sur HZO FeCap, au NaMLab dans le cadre de la collaboration existante avec l'INL et si nécessaire affinés sur les données disponibles sur FeFET/FeMFET issues de la littérature. En conséquence, cette tâche fournira des cellules unitaires FeFET de type n et p avec des cartes modèles calibrées tenant compte des tensions de programmation réalistes et des dépendances de synchronisation des éléments ferroélectriques NV. 2. Conception d'éléments logiques/séquentiels avec mode mixte volatile/non volatile (M6 à M12) • Cette tâche partira de l'état de l'art avec des éléments séquentiels comme décrit dans [2]. Notre idée est d'étudier l'utilisation d'une structure 1T-1C plus simple pour implémenter un élément de mémoire non volatile, car cela conduirait à des empreintes de zone plus petites. Une approche similaire sera appliquée à la conception et à la caractérisation des portes logiques (c'est-à-dire NAND, XOR, NOT, …). 3. Caractérisation des éléments logiques/mémoire basés sur FeFET (M13-M18) • Le but de cette tâche est de caractériser différents éléments de logique/mémoire préalablement conçus. Chaque élément sera caractérisé en termes de temps de propagation, de lecture/écriture et de sauvegarde/récupération, d'énergie et d'endurance. La caractérisation se fera via des simulations Spice (en utilisant les modèles au niveau transistor et les modèles FeFET de type n et p). Les résultats de la caractérisation serviront à constituer la bibliothèque technologique (c'est-à-dire le fichier .lib) qui sera utilisée par les outils de synthèse logique. 4. Synthèse logique consciente du FeFET (M18 – M28) • Cette tâche vise à analyser l'état de l'art des outils et méthodologies de synthèse. Cela partira de solutions open source bien connues telles que ABC [3]. Le premier objectif est d'évaluer la version actuelle de l'outil lors de l'utilisation de la bibliothèque technologique FeFET. Le deuxième objectif sera d'étendre ABC pour optimiser la synthèse pour la technologie FeFET. 5. Évaluation et diffusion (M6-M36) • L'évaluation se fera par simulation et potentiellement par des démonstrateurs ASIC en collaboration avec NAMLAB ; • Préparation d'articles scientifiques et de manuscrits de thèse. À propos de l'INL L'INL est un institut de recherche de 250 personnes basé à Lyon, en France, menant des recherches fondamentales et appliquées dans les domaines de l'électronique, des matériaux semi-conducteurs, de la photonique et des biotechnologies. Le groupe Electronic est leader dans le domaine de la conception nanoélectronique avancée, avec des projets de recherche et des collaborations au niveau national et européen. Les points forts récents incluent la modélisation des technologies émergentes pour la conception de circuits numériques [4,5].    Références : [1] E. Testa, M. Soeken, LG Amar et GD Micheli, « Synthèse logique pour l'informatique établie et émergente », Actes de l'IEEE, vol. 107, pp. 165-184, janvier 2019. [2] I. O'Connor et al., « Perspectives d'un edgecomputing économe en énergie avec des dispositifs ferroélectriques intégrés à base de HfO2 », lors de la conférence internationale IFIP/IEEE 2018 sur les très Intégration à grande échelle (VLSI-SoC), pp. 180-183, 2018. [3] Groupe de synthèse et de vérification logique de Berkeley, ABC : un système de synthèse et de vérification séquentielles. http://www.eecs.berkeley.edu/~alanmi/abc/ . [4] A. Bosio et al. "Technologies émergentes : défis et opportunités pour la synthèse logique." Dans DDECS, 2021. [5] C. Maneux et al. "Modélisation de la technologie sans jonction verticale et ferroélectrique pour un cube de calcul de réseau neuronal 3D efficace dédié à l'intelligence artificielle embarquée." Dans : IEDM, 2021.  

Les systèmes de neurotransmetteurs chez les animaux sont hautement conservés (Blenau & Baumann 2001). Le contrôle dopaminergique et sérotoninergique remonte aux métazoaires basiques il y a plus de 600 millions d'années (Caveny et al . 2006), avant la divergence des protostomes et des deutérostomes. Cela permet aux composés neurotoxiques (produits pharmaceutiques, organophosphorés, métaux) d'affecter les mêmes cibles chez les invertébrés que chez les vertébrés. En particulier, le système sérotoninergique est hautement conservé (Hay-Schmidt 2000), montrant une forte homologie pour les enzymes de la biosynthèse de la sérotonine, les transporteurs de la sérotonine et les récepteurs de la sérotonine couplés à la protéine G (Curran et al . 2012). Dans le même temps, il existe également des divergences entre les vertébrés et les invertébrés dans la signalisation adrénergique (Fuchs et al . 2014). La libération neuroendocrinienne d'hormones peptidiques par le système nerveux central constitue une interface entre ces systèmes et les perturbations endocriniennes chez les invertébrés, qui dépendent fortement d'une régulation neurohormonale, peu étudiée à ce jour. Cette thèse a pour objectif (1) à caractériser la contamination de l'environnement par des mélanges de substances neuromodulatrices et neurotoxiques présentes dans les milieux côtiers et estuariens (2) quantifier le niveau des neurotransmetteurs, leur recapture et analyser la liaison des neurotransmetteurs à leurs récepteurs respectifs dans le système nerveux/neuroendocrinien du crabe et de la seiche. (3) à étudier l'impact des contaminants chimiques sur la neurotransmission, les neurohormones et le comportement.   Blenau W, Baumann A, 2001. Arch. Insecte. Biochimie. Physiol. 48, 13-38 Caveney S, Cladman W, Verellen L, Donly C, 2006. J. Exp. Biol. 209, 4858-4868 Curran KP, Chalasani SH, 2012. Inverser. Neurosci. 12, 81-92 Fuchs S, Rende E, Crisanti A, Nolan T, 2014. Sci. Rép. 4:5526 Hay-Schmidt A, 2000. Proc. Biol. Sci. 267, 1071-1079

L'Université de Technologie de Compiègne (UTC) recrute un enseignant à temps partiel - gestion des risques industriels majeurs et sécurité des procédés. Lieu de travail Compiègne (France) Type d'emploi Enseignant à temps partiel (50%) Domaine d'enseignement et de recherche Génie chimique, Génie des procédés, Technique de sécurité Référence du poste 8012 Profil Gestion des risques industriels majeurs et sécurité des procédés Contenu du poste Enseignement: Le candidat retenu sera impliqué dans l'ensemble des activités pédagogiques du département liées à la sécurité industrielle, en particulier la sécurité des risques majeurs et des procédés. Tout le spectre du domaine est couvert : identification des risques, évaluation (fréquence, gravité) et dimensionnement des technologies de protection telles que les bouches d'aération, les sprinklers, etc. Le candidat retenu devra avoir une expérience pratique et notamment avoir déjà travaillé en tant qu'expert dans des secteurs industriels émergents avec un profil de risque majeur (industrie de l'hydrogène par exemple). La dimension technologique est importante. A ce titre, il interviendra dans les unités d'enseignement « Maîtrise des risques » et « Maîtriser les risques procédés et les risques majeurs ». Il sera également responsable de ce dernier. Recherche: Le candidat retenu rejoindra l'équipe EPICE de l'unité de recherche TIMR UTC-ESCOM pour mener des activités liées à celles de l'équipe sur la compréhension des phénomènes dangereux, ainsi que sur la sécurité des procédés, explosion et incendie. Il contribuera au développement des activités de recherche sous contrat en interaction avec les autres équipes de l'unité et d'autres laboratoires. Il sera également chargé de codiriger des thèses et participera naturellement à la vie du laboratoire et à ses activités scientifiques, notamment à travers des séminaires et des groupes de travail. Le candidat retenu devra s'impliquer dans des projets de recherche en partenariat et travailler au sein d'une équipe dans un environnement multidisciplinaire. Il bénéficiera de l'expérience reconnue des équipes du laboratoire TIMR, ainsi que d'un environnement de recherche dynamique qui soutiendra des initiatives ambitieuses. UTC L'Université de Technologie de Compiègne, membre de l'Alliance Sorbonne Université (ASU) et du réseau des universités de technologie (UT), figure parmi les meilleures écoles d'ingénieurs françaises dans de nombreux classements nationaux et offre un environnement d'enseignement particulièrement favorable. et la recherche. www.utc.fr Le département Le Département de Génie Chimique (GPI) propose des unités de cours aux étudiants débutants dans le cadre du tronc commun de l'UTC et aux étudiants poursuivant la majeure en Génie Chimique (que ce soit à temps plein ou en alternance), ainsi qu'une formation professionnelle professionnelle. en ingénierie. GPI propose deux diplômes de recherche en chimie (« Formulated Product Engineering » et « Transformation of Renewal Resources ») au niveau master et délivre des doctorats. Il héberge l'unité de recherche mixte UTC-ESCOM Transformations Intégrées de la Matière Renouvelable (TIMR). Le Département entretient des relations étroites avec l'industrie, tant dans l'enseignement que dans la recherche, et entretient des liens étroits avec des institutions et partenaires nationaux et internationaux. https://www.utc.fr/fr/cours-et-formation/le-diplome-utc-engineering-diploma/industrial-process-engineering-gp/ Le labo Le Laboratoire TIMR a été créé en 2008 et est une unité mixte de recherche associant l'UTC et l'ESCOM. Ses activités sont centrées autour du Génie Chimique et de la Chimie, en exploitant la synergie qui existe entre la recherche pure et la recherche applicative pour répondre à certains des défis actuels – énergie, chimie verte, transformation et valorisation des sous-produits – en étroite collaboration avec des partenaires commerciaux, notamment des industriels. Les plates-formes et démonstrateurs réussis développés au laboratoire témoignent de l'engagement de longue date de TIMR à unir la recherche fondamentale et les applications. L'activité scientifique est organisée autour de 5 équipes de recherche : Activité Microbienne et Bioprocédés, Interfaces et Milieux Divisés, Technologies Agro-Industrielles, Chimie Organique et Technologies Alternatives, Protection de l'Environnement en Génie Chimique (EPICE). D'autres membres du personnel fournissent un soutien administratif et technique partagé aux différentes équipes de recherche. https://timr.utc.fr/

TIMA (Unité Mixte de Recherche N°5159) est un laboratoire public de recherche tutelle du CNRS (Centre National de la Recherche Scientifique), de Grenoble INP (Grenoble INP) et de l'UGA (Université Grenoble Alpes). TIMA est une équipe cosmopolite, composée de chercheurs et de stagiaires du monde entier. Les thèmes de recherche du Laboratoire TIMA couvrent la spécification, la conception, la vérification, les tests, les outils de CAO et les méthodes d'aide à la conception des systèmes intégrés, depuis les composants analogiques et numériques de base jusqu'aux systèmes multiprocesseurs sur puce et leur système d'exploitation de base. Le Laboratoire est organisé en 4 équipes de recherche : • AMfoRS : Architectures et méthodes pour systèmes résilients • CDSI : circuits, dispositifs et intégration de systèmes • RMS : systèmes à signaux mixtes fiables • SLS : synthèse au niveau du système Le postdoc proposé se déroulera au sein des équipes AmfoRS et CDSI, sous la supervision de Giorgio Di Natale et Katell Morin. Description de l'offre : Dans le domaine de la conception matérielle, garantir l'exactitude et la fiabilité des conceptions est crucial pour obtenir des performances et des fonctionnalités optimales. La vérification fonctionnelle garantit que la conception d'un système répond à ses spécifications avant la fabrication, en identifiant et en rectifiant les erreurs de conception. Parmi les différentes méthodes permettant de garantir l'exactitude du système, la vérification basée sur les assertions (ABV) est apparue comme l'une des solutions les plus prometteuses pour vérifier la fonctionnalité de conception. À l’inverse, les méthodes de test telles que les tests fuzz jouent un rôle crucial dans l’identification des défauts et des erreurs de conception. Les techniques de fuzzing identifient les défauts de la conception en fournissant des tests inattendus dans la conception et en surveillant les résultats inhabituels, tels que les plantages et les pannes. Lors des tests fuzz, un volume important de données d'entrée est généré et des plantages sont observés. Ces données sont souvent volumineuses et complexes, ce qui rend le processus de test long et coûteux. Compte tenu des limites des fuzzers actuels, il existe un besoin urgent d'améliorer l'efficacité de ces techniques pour répondre à la complexité croissante des conceptions matérielles modernes. Objectif : L'objectif principal de cette recherche est d'améliorer l'efficacité des méthodes de test fuzz pour la vérification et les tests de conception matérielle en intégrant des techniques d'exploration de règles d'association. Dans cette recherche, notre objectif est d'introduire un nouveau fuzzer capable de servir à la fois de méthode de test et de vérification pour la conception matérielle. En tirant parti des approches d'exploration de données, nous visons à améliorer l'identification et la priorisation des cas de test, conduisant à un processus de fuzzing plus ciblé. De plus, notre objectif est d'améliorer l'efficacité du processus de vérification et d'augmenter la couverture du comportement de conception des conceptions matérielles en utilisant les assertions générées avec le fuzzer proposé. Méthodologie : Dans ce projet de recherche, nous visons à proposer des algorithmes d'exploration de règles d'association pour les intégrer dans le cadre de tests fuzz pour la vérification et les tests de conception matérielle. La méthodologie implique l'utilisation d'algorithmes d'exploration de règles d'association pour analyser les données d'entrée du fuzzer proposé, ainsi que le rapport du fuzzer sur les erreurs et les défauts de conception matérielle, y compris leurs caractéristiques et leur impact sur la fonctionnalité de conception. Ces algorithmes d'exploration de règles d'association aident à identifier les corrélations entre les données d'entrée et les erreurs de conception résultant de ces entrées. Par la suite, la méthode proposée priorise les cas de tests en fonction des corrélations identifiées. De plus, dans le cadre de cette analyse, un ensemble d'assertions est spécifiquement généré pour détecter les erreurs de conception analysées. Résultats attendus: • Fuzzing plus ciblé : en identifiant les associations dans les données d'entrée, le processus de fuzzing peut être dirigé vers les zones de la conception les plus susceptibles de contenir des erreurs. • Détection efficace des anomalies : les règles d'association peuvent aider à reconnaître les anomalies dans le comportement de la conception causées par des entrées spécifiques. • Moins de surcharge de mémoire : la méthode proposée devrait entraîner une réduction de la surcharge de mémoire et des performances améliorées par rapport aux fuzzers de pointe existants. . • Processus de fuzzing plus rapide : l'intégration de techniques d'exploration de règles d'association devrait réduire considérablement le temps d'exécution du fuzzer proposé par rapport aux autres fuzzers existants. • Vérification améliorée de la conception : une distinction clé entre le fuzzer proposé et les méthodes de pointe est sa capacité à générer des assertions parallèlement aux tests de fuzz.

Recherche Les travaux se dérouleront au laboratoire LEPMI sous la responsabilité scientifique de Virginie Roche dans l'équipe EIP (Electrocatalysis Interface Process). L'orientation scientifique du LEPMI s'appuie sur les mots clés historiques et les thématiques centrales du laboratoire : électrochimie, matériaux, interfaces et génie électrochimique. La personne travaillera dans le laboratoire de corrosion de l'équipe EIP en contact direct avec 2 enseignants-chercheurs. Description de l'emploi : L'étude consistera en la détermination et l'analyse d'échantillons (stents Mg). L'objectif central est de déterminer, d'analyser et de discriminer les propriétés de résistance à la corrosion des alliages de magnésium pour les applications de stents biorésorbables ou biostables. Les stents en magnésium sont – par défaut – hors d’équilibre, car ils se dégradent facilement dans les solutions à base d’eau. Le comportement à la corrosion du Mg sera discuté à la lumière de la résistance mécanique radiale minimale à maintenir pendant une période d'au moins 3 mois. Les travaux se feront en collaboration avec la société Alchimedics qui fournira les stents. Les échantillons seront caractérisés par des techniques électrochimiques classiques telles que les mesures de potentiel de corrosion, les courbes de polarisation et la spectroscopie d'impédance électrochimique avec un traitement de données très détaillé basé sur l'utilisation d'un modèle de mesure, Cole-Cole et Young ou d'un modèle de loi de puissance. Ces analyses seront complétées par des investigations spectroscopiques (DRX EDX) en vue de corréler les phénomènes de corrosion avec les processus chimiques de corrosion et leurs localisations (ex : limite de grains).

Rejoindre le Bureau de Recherches Géologiques et Minières (BRGM), c'est intégrer le premier établissement public des sciences de la Terre, réunissant 1 000 experts et passionnés dans 29 entités en France métropolitaine et outre-mer. L'objectif des travaux du BRGM est d'apporter des connaissances géologiques et une compréhension des phénomènes liés au sol et au sous-sol, avec un objectif clé : répondre aux enjeux des changements environnementaux à travers des projets innovants à impact sociétal. Les modèles thermo-hydro-mécaniques (THM) dans les milieux poreux faillés jouent un rôle important dans de nombreuses applications en géosciences. Les réseaux de failles agissent comme des corridors pour les écoulements de fluides et les transferts de masse et d'énergie associés et jouent un rôle prééminent sur la (re)distribution des contraintes en interaction avec ces transferts. L'exploitation anthropique du sous-sol (réinjection de saumures géothermiques, séquestration de CO2...) peut conduire à des montées en pression pouvant potentiellement conduire à une réactivation de failles avec sismicité induite et/ou perte d'intégrité du stockage. Réciproquement, la répartition des contraintes naturelles dans les réseaux de failles limitera le cheminement des saumures géothermiques chaudes et l'emplacement des ressources géothermiques et des ressources minérales associées qu'elles pourraient avoir déposées. La modélisation numérique est un outil clé pour mieux comprendre, évaluer et contrôler ces processus. Ils couplent l'écoulement et le transport d'énergie le long des failles et dans la roche poreuse environnante, la déformation mécanique de la roche et le comportement mécanique des failles lié à la mécanique de contact (Bonaldi et al 2022). Parmi les outils numériques disponibles, ComPASS ( https://gitlab.com/compass ) est un code parallèle open source initié par le LJAD-Inria et le BRGM (Bureau de Recherches Géologiques et Minières) en 2015 (Xing et al 2017, Lopez et al 2018, Armandine Les Landes et al 2023, Armandine Les Landes et al 2023. Il est consacré à la simulation d'écoulements de Darcy multicomposants multiphasés non isothermes sur des maillages polyédriques et comprend un réseau complexe de failles représentées comme des interfaces de co-dimension une. couplé à la matrice environnante. Ce poste fait partie du programme ANR Earth-Beat, un effort conjoint de 6 partenaires. L'objectif principal du projet est la compréhension de la minéralisation naturelle de l'uranium dans les systèmes faillés. construire un outil robuste et fiable pour aborder les processus THM dans de grands médias avec des discontinuités explicites.   Le programme prévisionnel entièrement détaillé est le suivant : le choix de la discrétisation de la mécanique des contacts adaptée aux maillages polyédriques et prenant en compte les réseaux de failles est un point clé. Il sera basé sur une formulation mixte avec des multiplicateurs de Lagrange constants par face prenant en compte les tractions des surfaces de contact aux interfaces matrice-défaut. Ce choix permet de gérer les réseaux de failles comprenant les coins, les pointes et les intersections et conduit à des conditions de contact locales à chaque face de faille qui peuvent être résolues avec des solveurs non linéaires de Newton semi-lisse efficaces. La discrétisation du champ de déplacement sera basée sur une méthode des éléments virtuels (VEM) d'ordre inférieur à inconnues nodales prenant en compte la discontinuité du champ de déplacement aux interfaces matrice-défaut. VEM est une extension naturelle de la méthode des éléments finis (FEM) P1 aux maillages polyédriques. Sa combinaison avec une approximation constante par face du multiplicateur de Lagrange nécessite une stabilisation qui sera obtenue par enrichissement du champ de déplacement avec une bulle « virtuelle » supplémentaire inconnue d'un côté de chaque face de faille. La solution du système jacobien clairsemé à chaque itération de Newton du modèle mécanique de contact nécessite la mise en œuvre d'un solveur linéaire parallèle efficace, utilisant généralement la bibliothèque Petsc déjà disponible dans ComPASS. Nous utiliserons un solveur linéaire parcimonieux direct parallèle mais des algorithmes itératifs pourraient également être étudiés afin d'améliorer l'efficacité des simulations sur des modèles géologiques 3D réalistes. Le couplage des modèles d'écoulement multiphasique mécanique de contact et non isotherme sera basé sur un couplage itératif résolvant itérativement les deux sous-problèmes non linéaires jusqu'à convergence jusqu'à un critère d'arrêt. L'algorithme sera généralement basé sur une méthode de point fixe à contrainte fixe ou à fractionnement non drainé adaptée aux modèles multidimensionnels et conçue afin de permettre l'utilisation de petits pas de temps pour l'intégration temporelle du modèle d'écoulement. Compétences et capacités : - expérience de base en calcul scientifique/mathématiques appliquées - bonnes compétences en programmation C++ et Python pour le déploiement HPC (MPI) - familier avec les outils collaboratifs (git) - Anglais courant (lu, parlé et écrit), la maîtrise du français est un plus.

Research: Research at CERAMATHS. The research profile will be primarily in modeling and optimal control theory. The successful candidate will develop research related to materials science. Experience in this field would therefore be appreciated without being essential. Teaching: Teaching mathematics at INSA Hauts-de-France in applied mathematics, in french or in english.