Sort by
Refine Your Search
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
: The consolidated text of the Regulations for conducting open competitions for the position of an academic teacher and other necessary documents can be found here: LINK PL, EN: https://wch.pwr.edu.pl/pracownicy
-
via monitoring, reporting and verification (MRV). Specifically, as the new postdoctoral researcher you will integrate ecological MRV (eMRV) approaches, that are essential for the deployment of mCDR
-
://profiles.wustl.edu/en/persons/jaebok-choi/ and https://oncology.wustl.edu/people/jaebok-choi-phd/ . Trains under the supervision of a faculty mentor including (but not limited to): Manages their own project, which
-
: Open until the position is filled Salary Range: $76,000 - $82,000 Please apply at: https://umd.wd1.myworkdayjobs.com/en-US/UMCP/job/Postdoctoral-Researcher--Quantum-Many-Body-Theory-and-Quantum
-
. You can read all information concerning the processing of your personal data on the website of the AGH University of Krakow after going to the “Personal data protection” tab (https://www.agh.edu.pl/en
-
world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We are looking for two Postdocs with a strong background
-
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. Job offer: The selected
-
information at https://profiles.wustl.edu/en/persons/jaebok-choi/ and https://oncology.wustl.edu/people/jaebok-choi-phd/ . Trains under the supervision of a faculty mentor including (but not limited