Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Kansas
- University of Texas at Austin
- Technical University of Munich
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- Aarhus University
- Oak Ridge National Laboratory
- Stony Brook University
- Technical University of Denmark
- Cal Poly Pomona
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Chalmers University of Technology
- Harvard University
- INESC ID
- Nature Careers
- TTI
- Texas A&M AgriLife
- The University of Iowa
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Universidade Católica Portuguesa - RIO
- University of Agriculture in Krakow
- University of Lodz
- University of Luxembourg
- 13 more »
- « less
-
Field
-
on formal verification and reachability analysis using logical zonotopes, with applications in digital circuit verification and model checking. Candidates should have a strong mathematical background and
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
/ Deep Learning (particularly Computer Vision or 3D perception) Verification & Validation (V&V) of advanced algorithms, software or systems Formal Methods Safety Engineering / Safety-Critical Systems
-
fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
-
algorithms where the agent can propose updates to its own world model structure, but these updates are only accepted after a formal verification step confirms that the new model still adheres to its core
-
cooperatively with others. Skill in writing manuscripts and making formal presentations. **Position contingent on availability of grant funding** Job Responsibilities Participation in several research projects in
-
-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat landscape, vulnerability
-
nuclear forces, determining the limits of nuclear stability, and identifying signatures of new physics beyond the Standard Model. Major Duties/Responsibilities: Develop formalism, methods, and algorithms
-
made without a diploma or certified transcript indicating an earned doctorate are conditional hires and are appointed on an interim basis not to exceed 6-months. Upon verification of degree
-
employment in this position is contingent upon the availability of funding and satisfactory performance. Essential Duties and Responsibilities Prepare technical documents, including formal project reports and