Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Kansas
- Technical University of Munich
- University of Texas at Austin
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- Aarhus University
- Oak Ridge National Laboratory
- Stony Brook University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Chalmers University of Technology
- Harvard University
- INESC ID
- Kennesaw State University
- Nature Careers
- Poznan University of Technology
- TTI
- Technical University of Denmark
- Texas A&M AgriLife
- Texas A&M University
- 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
- Warsaw University of Technology - Centre for Credible AI
- 17 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
-
on an employment contract, including an employer based outside the territory of Poland. Selection process The first stage of the competition procedure is the formal verification of the submitted documents. Offers
-
of Philosophy at Texas A&M has areas of strength in Continental Philosophy; Formal Philosophy and Decision Theory; Philosophies of the Global South; and Value Theory & Applied Ethics, thus offering
-
/ 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
-
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
-
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
-
-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
-
nonequilibrium condensed matter physics, such as Keldysh-Floquet formalism * Expertise in scientific computing and numerical simulation methods * Ability to design and carry out independent research projects