46 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Northeastern University
Sort by
Refine Your Search
-
About the Opportunity JOB SUMMARY The Dong Theoretical and Computational Chemistry Lab at Northeastern University seeks an enthusiastic postdoctoral researcher to start as soon as possible
-
: The Zhao Lab in the Department of Chemical Engineering at Northeastern University is an interdisciplinary group working at the interface with computational chemistry, heterogeneous catalysis
-
About the Opportunity The Network Science Institute (NetSI) at Northeastern University is a world-leading center for research and education in network science. NetSI faculty and researchers
-
of computational materials discovery starting in Summer 2025. Our group is seeking to discover novel materials for renewable energy applications using high-throughput quantum chemistry calculations and data-driven
-
About the Opportunity The Postdoc will be working on multidisciplinary research projects in the Bendable Electronics and Sustainable Technologies (BEST) Group led by Prof. Ravinder Dahiya. BEST
-
About the Opportunity Performs basic or applied research of varying scope and complexity. Assists in the planning, interpretation, and publication of research results and grants. Ensures the laboratory is maintained and may exercise functional supervision over supporting research staff. May...
-
structural engineering or architecture with a focus in computation. Key Responsibilities & Accountabilities (40%) Work with supervisor to develop a research topic and write a paper for conference or journal
-
), psychophysics (in person and online), computational modeling, and machine learning to arbitrate among competing hypotheses about the neural mechanisms of conscious awareness. This project is part of
-
multiple projects lead by the graduate students in the group and co-advise the graduate students. The candidate is expected to publish and present research findings in the computer science research
-
are specifically looking for candidates who possess a strong background in theoretical and computational modeling of biological systems, soft matter, or statistical physics. The positions will commence in January