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
- Finland
- Luxembourg
- Czech
- United Arab Emirates
- 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
- Social Sciences
- Humanities
- Chemistry
- Law
- Earth Sciences
- 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
-
licensure/certification? NA Required Computer Applications: Microsoft Excel, Microsoft Word, Microsoft PowerPoint, Microsoft Outlook Required Other Computer Applications: NA Required Additional Knowledge
-
: Instruct classes utilizing techniques and knowledge of the discipline that facilitate student learning. Effectively use computer applications for instruction, communication where appropriate and maintaining
-
three challenging fields of computer simulations, nano-manipulation, and biomedical engineering. MATTER builds on the well-equipped core facilities of UT and establishes synergies with the most
-
needs and continued code compliance; Assists in developing and implementing building inspection and plan review routines, methods, policies, procedures, and standards; Assists in the development and
-
/Master’s degree in statistics, mathematics, computer sciences or a related field Thorough knowledge of methods in event history analysis and multi-state models is required. The candidate should be familiar
-
) Ability to work with minimal supervision, including prioritizing workloads to meet deadlines Knowledge and skill with computer technology in preparing and making reports, presentations, data analysis and
-
them to optimize any results, working to obtain new tool compounds and drug candidates. Leveraging state-of-the-art computational methods, including structure-based ultra-large virtual screenings
-
Computer Vision, Image Processing, and Deep Learning methods. Experience with modern computer vision frameworks and tools (e.g., OpenCV, PyTorch, TensorFlow). Strong commitment to excellence in teaching and
-
ancestral recombination graphs to study of the genetic basis of diseases, incorporating ancient genomes • Apply and develop methods for partitioning heritability and estimating genetic correlations • Develop