Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Economics
- Medical Sciences
- Computer Science
- Business
- Engineering
- Biology
- Science
- Materials Science
- Education
- Social Sciences
- Arts and Literature
- Mathematics
- Humanities
- Law
- Chemistry
- Psychology
- Environment
- Linguistics
- Philosophy
- Earth Sciences
- Sports and Recreation
- Electrical Engineering
- Design
- Physics
- Statistics
- 15 more »
- « less
-
assistance status, veteran status, sexual orientation, gender identity, or gender expression. To learn more about diversity at the U: http://diversity.umn.edu Employment Requirements Any offer of employment
-
identity, or gender expression. To learn more about diversity at the U: http://diversity.umn.edu Employment Requirements Any offer of employment is contingent upon the successful completion of a background
-
the U: http://diversity.umn.edu Employment Requirements Any offer of employment is contingent upon the successful completion of a background check. Our presumption is that prospective employees
-
the College: https://www.bowdoin.edu/accessibility/index.html . Bowdoin College accepts only electronic submissions. Please visit https://careers.bowdoin.edu to submit: 1) a cover letter that includes
-
enrich and contribute to the College’s multifaceted diversity. Accessibility during the application and interview stages, as well as once employed, is a priority of the College: https://www.bowdoin.edu
-
Learning, or a related field. A Master’s degree is preferred. ASR/TTS Expertise Experience in training and fine-tuning Automatic Speech Recognition (ASR) or Text-to-Speech (TTS) models, preferably in
-
Spiders” awarded to the Computer Science Department of the University of Manchester, see https://www.renaissancephilanthropy.org/learning-to-do-math-with-vampires-and-spiders The formal methods group
-
. Loubier. (2025). A Multi-Model Approach to Enhance Automatic Matching of Vulnerabilities to Attack Patterns. Récupéré sur https://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0013555900003979 [2
-
Website https://sede.upct.es/tramites/UI0007 Requirements Research FieldChemistry » OtherEducation LevelBachelor Degree or equivalent Skills/Qualifications GRADUATE IN ELECTRONIC AND AUTOMATIC ENGINEERING
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and