Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Munich
- University of Kansas
- University of Texas at Austin
- Stony Brook University
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- Aarhus University
- Oak Ridge National Laboratory
- AI4I
- 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
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Kennesaw State University
- Nature Careers
- Poznan University of Technology
- TTI
- Texas A&M AgriLife
- Texas A&M University
- The John Paul II Catholic University of Lublin
- 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
- 16 more »
- « less
-
Field
-
the next generation of secure agentic AI systems through cutting-edge research in adversarial machine learning and formal verification. The Role As a research scientist, you will contribute to frontier AI
-
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
-
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
-
on the role, candidates may complete a case study, technical task, presentation, or written exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be carried out
-
deployable quantum and AI technologies for reliable and secure power systems. ● Deliver quantum electromagnetic transient programs and integrate them with specific platforms. ● Develop formal
-
disclose the pay of other employees or applicants to individuals who do not otherwise have access to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in
-
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
-
before its withdrawal. Selection process The course of the competition procedure The first stage of the competition process involves the formal verification of the documents submitted. Offers that pass
-
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