Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
for interacting with the PI, undergraduate/graduate students, and project team members. Postdocs will design, organize and conduct specialized and advanced experiments using established scientific protocols
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
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 verification, and
-
) Positions Postdoc Positions Application Deadline 28 Oct 2026 - 12:00 (Europe/Athens) Country Greece Type of Contract Temporary Job Status Full-time Hours Per Week 40 Offer Starting Date 1 Jan 2027 Is the job
-
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 Paleoanthropology and Paleoecology Research Lab
-
engineering Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Application Deadline 25 Sep 2026 - 23:59 (Europe/Warsaw) Country Poland Type of Contract Temporary Job Status Full-time
-
/mathematically oriented ML verification research at LTH, and builds on SE's expertise in empirical and applied software and systems engineering, as well as the department's established collaborations within, among
-
the university, together forming the multidisciplinary research center, Energy Systems Innovation Center (ESIC) (https://esic.wsu.edu/). ESIC has a long tradition of close collaboration with the regional power
-
sources and enter directly into Workday, with PI approval. Documents and confirms with PI all salary sourcing for project personnel, including research faculty, postdocs, staff and students. Notifies DA and
-
, postdocs, staff and students. Notifies DA and/or initiates payroll accounting adjustments when cost transfers are needed to reflect retroactive changes. Approves purchasing documents and provides guidance