Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- George Washington University
- National Renewable Energy Laboratory NREL
- Texas A&M University System
- Texas A&M AgriLife
- EPFL
- University of Washington
- Wroclaw University of Science and Technology
- Aarhus University
- Center for Theoretical Physics PAS
- Centro de Astrofisica da Universidade do Porto
- Chalmers University of Technology
- City St George's, University of London
- City University London
- Helmholtz Association of German Research Centres
- KTH Royal Institute of Technology
- Lehigh University
- Linköping University
- Poznan University of Technology
- Technical University of Denmark
- Texas A&m Engineering
- University of Connecticut
- University of Lund
- Vanderbilt University
- 13 more »
- « less
-
Field
-
developing a system-level verification platform for secure software supply chains. The project focuses on verifying how authority and permissions propagate across interconnected services, APIs, workflows
-
developing a system-level verification platform for secure software supply chains. The project focuses on verifying how authority and permissions propagate across interconnected services, APIs, workflows
-
Postdoc in AI for cybersecurity of communication software Linkoping Reference number IDA-2026-00101 We have the power of over 50,000 students and co-workers. Students who provide hope for the future
-
components. The subject thus complements related, more component-level/mathematically oriented ML verification research at LTH, and builds on SE's expertise in empirical and applied software and
-
facilitates several institutional research initiatives . This position is for a Selective Excellence-funded Postdoc based in the Center for the Advanced Study of Human Paleobiology, and working in the The
-
talented postdoc associate in Dr. Zhu’s lab. This position is supported by a newly NIH funded grant to study DNA repair by using cell and molecular approaches and animal models. The postdoc will design
-
doing research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) two-year postdoc positions. The starting date is
-
outstanding candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and
-
: the PLC and instrument control, the software that coordinates the stations, and the connection to the campaign logic that plans experiments and consumes their results. The postdoc will work closely
-
: the PLC and instrument control, the software that coordinates the stations, and the connection to the campaign logic that plans experiments and consumes their results. The postdoc will work closely