Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- George Washington University
- Texas A&M University
- Chalmers University of Technology
- University of Washington
- Brookhaven National Laboratory
- KTH Royal Institute of Technology
- Kennesaw State University
- Lodz University of Technology
- Lulea University of Technology
- Pennsylvania State University
- Poznan University of Technology
- Saarland University
- Sandia National Laboratories
- Technical University of Munich
- University of California Irvine
- University of Florida
- University of Liverpool
- University of Luxembourg
- Warsaw University of Technology
- Washington State University
- Wroclaw University of Science and Technology
- 11 more »
- « less
-
Field
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
). Design and fabrication of the calibration test phantoms Developing and testing acquisition software, and implementing image analysis algorithms and localization methods. Where to apply E-mail
-
written English skills (B2 level or equivalent, certified), ability to read, understand, and write in scientific English. 7. Knowledge and ability to operate computer software. 8. Analytical thinking
-
independently and as part of a collaborative research team. Preferred: Familiarity with relevant software packages and/or programming languages, such as Bruker TopSpin, Varian VnmrJ, Mestrelab Mnova, and Python
-
, obtained in 2019 or later. Experience in biochemistry and molecular biology, including techniques such as Western blot, SDS-PAGE, and cell culture. Proficiency in analytical software and techniques, as
-
) is a generalization of the standard QBF that allows them to succinctly encode many hard problems arising in hardware verification, circuit design and software synthesis. The main goal of this project
-
located at 1100 South Marietta Parkway, Marietta, GA 30060. Department Information DEPARTMENT SPECIFIC TASKS AND RESPONSIBILITIES: 1. Design and develop full-stack software solutions for 3D modeling and
-
horticulture. Demonstrate capacity to write papers independently. Demonstrated proficiency in the use of computers and software applications. Demonstrated effective interpersonal, written, and oral
-
More Jobs from This Employer https://main.hercjobs.org/jobs/22419074/postdoctoral-scholar-wireless-communications-ai-rl-llms-and-software-defined-radios Return to Search Results
-
Directions AI for Scientific Computing Neural Operators and Learning-Based Surrogates LLMs and Scientific Agents Agentic AI for Engineering Design Multimodal Scientific AI Alignment and Verification