Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Washington
- Texas A&M University
- Virginia Community College
- University of Cincinnati
- University of Arkansas
- Texas A&M University System
- Washington State University
- University of California, San Francisco
- Colorado State University
- University of New Mexico
- Brown University
- George Washington University
- Washington University in St. Louis
- Kennesaw State University
- California State University, San Bernardino
- Binghamton University
- Bowdoin College
- University of Miami
- University of Saskatchewan
- Los Angeles Community College District
- University System of Georgia
- Texas A&M AgriLife
- University of Oklahoma
- Bellevue College
- Carnegie Mellon University
- Columbus State University
- University of San Diego
- Texas A&M AgriLife Extension
- Fayetteville State University
- Cleveland State University
- European Space Agency
- Texas A&M Engineering Extension Service TEEX
- The Ohio State University
- University of Colorado
- Texas A&M Forest Service
- SUNY University at Buffalo
- University of Iowa
- Ball State University
- Rutgers University
- Yale University
- University of Southern California
- University of Michigan
- Iowa State University
- Broward College
- South Dakota State University
- Texas A&m Engineering
- University of California Davis
- University of California, San Diego
- Georgia College
- Stony Brook University
- University of California
- Cal Poly Pomona
- California Institute of Technology
- Christopher Newport University
- Duke University
- University of Mary Washington
- California State University San Marcos
- University of California, Los Angeles
- Florida International University
- Lehigh University
- Montgomery College
- University of North Texas at Dallas
- Indiana State University
- Johns Hopkins University
- TCAT-Dickson
- TCAT-Knoxville
- Texas A&M TVMDL
- University of British Columbia
- University of Michigan - Ann Arbor
- University of Texas at Dallas
- University of Utah
- ;
- California State University, Northridge
- Ivy Tech Community College
- National University of Singapore
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- SUNY Canton
- Technical University of Munich
- University of Florida
- University of Kentucky
- University of Maryland
- University of Maryland, Baltimore
- University of Minnesota
- University of Wisconsin-Madison
- Embry-Riddle Aeronautical University
- George Mason University
- Harvard University
- Medical College of Wisconsin
- Nature Careers
- Oak Ridge National Laboratory
- Technical University of Denmark
- University of Alabama at Birmingham
- University of North Carolina at Chapel Hill
- Western Nevada College
- Wright State University
- California Baptist University
- Florida Gulf Coast University
- Fraunhofer-Gesellschaft
- Pennsylvania State University
- 90 more »
- « less
-
Field
- Economics
- Medical Sciences
- Computer Science
- Engineering
- Business
- Materials Science
- Biology
- Education
- Science
- Arts and Literature
- Sports and Recreation
- Psychology
- Humanities
- Law
- Mathematics
- Design
- Social Sciences
- Chemistry
- Electrical Engineering
- Linguistics
- Earth Sciences
- Philosophy
- Physics
- Environment
- Statistics
- 15 more »
- « less
-
? The Department of Software Engineering consists of about 50 researchers and teachers from 20 countries. Our tradition in software engineering traces back to 1990 when we pioneered Sweden’s first academic
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities
-
assurance, testing, validation, and verification Desirable criteria Familiarity with the application of Generative AI in software engineering Familiarity with sustainability and decarbonisation models and
-
, treatment plans, and post-procedure instructions Maintain and sterilize ophthalmic instruments and equipment Support administrative tasks such as file prep, insurance verification, patient follow-up, and
-
of innovation, and our past achievements inspire our current world changers. In this role, the successful candidate will make a leading contribution to the project “End to End Verification for Constraint
-
. Responsibilities Designing software applications and algorithms to support remote sensing, geospatial data analysis, and data science applications. Conducting software testing, code reviews, CI/CD, and verification
-
. Responsibilities Designing software applications and algorithms to support remote sensing, geospatial data analysis, and data science applications. Conducting software testing, code reviews, CI/CD, and verification
-
reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities
-
changes either at the hardware or software levels, such that the target system reaches unexpected states or follows unexpected execution paths. Reaching such unexpected states is then leveraged in attacks