38 software-formal-method-phd Postdoctoral positions at Northeastern University in Postdoctoral
-
Interest in mentoring junior researchers Preferred Strong scientific software development skills and a commitment to reproducible research practices Experience applying computational methods to biomedicine
-
. The research focus is on developing and applying first-principles-based and data-driven computational methods to understand multiscale processes and accelerate chemical discoveries for renewable energy
-
artificial intelligence (AI) methods that propose, prioritize, and interpret experiments, accelerating the discovery and optimization of catalytic materials for energy and sustainability applications
-
–software co-design for privacy and integrity. ● Mentor undergraduate and graduate students in experimental design, data analysis, paper writing, and professional development; provide apprenticeship
-
project focused on sustainable polymer synthesis from CO₂. The researcher will develop and apply computational and AI-based methods, including high-throughput quantum chemistry and machine learning
-
researcher to start in February 2026. The primary responsibility of the postdoc is to perform basic or applied research of a limited scope, primarily using existing theories and methods, ensuring
-
. The research focus will be on developing and applying first-principles-based and data-driven computational methods to understand multiscale processes and to accelerate chemical discoveries for renewable energy
-
underserved populations. Research skills and experiences will include utilizing mixed methods research, community engagement, qualitative, quantitative, and big data collection and analysis. This position
-
QUALIFICATIONS: • PhD in Electrical and Computer Engineering, Mechanical Engineering, Physics, or a closely related field. • Demonstrated expertise in MEMS/NEMS design and modeling, including finite element
-
. Work will emphasize the development and analysis of advanced methods in areas such as sparse signal recovery, compressed sensing, and statistical estimation, with a particular focus on their role in