Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- United Kingdom
- Germany
- France
- Sweden
- Spain
- Netherlands
- Norway
- Poland
- Belgium
- Denmark
- Canada
- Australia
- Austria
- Singapore
- Switzerland
- Luxembourg
- Czech
- United Arab Emirates
- Finland
- Italy
- Japan
- Romania
- Morocco
- Ireland
- Kyrgyzstan
- Russia
- Brazil
- China
- Cyprus
- Estonia
- Hong Kong
- Lithuania
- Slovenia
- Andorra
- Croatia
- New Zealand
- Saudi Arabia
- South Africa
- Worldwide
- 31 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Science
- Biology
- Business
- Education
- Materials Science
- Mathematics
- Arts and Literature
- Psychology
- Environment
- Humanities
- Social Sciences
- Chemistry
- Earth Sciences
- Law
- Linguistics
- Sports and Recreation
- Electrical Engineering
- Physics
- Design
- Philosophy
- Statistics
- 15 more »
- « less
-
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
-
National University of Science and Technology POLITEHNICA Bucharest, Pitesti Branch | Romania | about 1 month ago
didactic and research positions: https://posturivacante.upb.ro/wp-content/uploads/2024/04/Methodology-for-occupyng-vacant-didactic-and-research-positions-2024.pdf Where to apply E-mail resurse.umane@upb.ro
-
guidance from Principal Investigators. Uses statistical methods and relational databases to analyze data sets. Prepares and reviews reports of research findings. Conducts data-gathering interviews
-
, methods, and governance models to balance the societal and geopolitical opportunities and challenges technologies will create, or innovation, digital transformation, regulation, and other priority issues
-
. The successful candidate will lead the computational efforts of developing and applying methods for applying proteomics and genetics data collected in situ for integrative structure modeling. Critical aspects
-
customer service, phone etiquette and practical problem-solving skills. Proficiency with computer programs including Word, Excel, Teams, SharePoint, Adobe Acrobat, Airtable or similar databases and the
-
experience level at appointment. See the following table(s) for the current salary scale(s) for this position: https://www.ucop.edu/academic-personnel-programs/_files/2025-26/represented-oct-2025-scales/t23
-
smooth functions and solutions (in imaging and computational fluid dynamics) with uncertainty quantification. You will have the opportunity to develop, analyze, and implement advanced computational methods
-
Mathematics, Computer Vision, or Data Science. -Knowledge of statistical inference methods and machine learning. -Experience in spectroscopy and imaging is an asset. -Strong programming skills in Python
-
paycheck. The University of Colorado provides generous leave, health plans and retirement contributions that add to your bottom line. Total Compensation Calculator: http://www.cu.edu/node/153125 Equal