Khyber Medical University

Description We are inviting applications for a Postdoctoral Associate in the Division of Social Science at NYU Abu Dhabi from individuals who have or will soon receive a PhD in sociology, social psychology, computational social science, computer science, information science, data science, or a closely related field. The appointment will begin September 1, 2026, subject to final budget approval and is available for up to three years. The post-doctoral associate will spend half their time on independent research, and half their time on collaborative research with Professors Mario D. Molina, Minsu Park, and Blaine Robbins. The collaborative research will be large-scale analyses of digital traces (e.g., Yelp, Airbnb, Stack Exchange) and virtual lab experiments to study how ingroup favoritism and group boundaries coevolve in multiplex communities; how attribute- and opinion-based cues shape insider/outsider categorization, intergroup relations, and social cohesion; and how to design interventions that promote inclusivity, fairness, and productive discourse online. We seek a candidate with expertise in the following four areas: (1) working with large-scale digital trace data; (2) building and running natural language processing and machine learning workflows; (3) experimental design and causal inference (including virtual lab experiments); and/or (4) network or computational modeling. The ideal candidate will have a strong interest in applying these tools to questions of group formation, intergroup relations, and the distribution of resources on online platforms. This is an excellent position for a computational social scientist or a computer/data scientist eager to transition into the social sciences. The position does not require teaching, but it may be possible to get teaching experience for compensation. You would join a group of over 20 post-doctoral fellows and 70 faculty in the Division of Social Science. For consideration, applicants must submit a cover letter, a curriculum vitae with a complete list of publications, a statement of research interests, two letters of reference, transcript and one writing sample, all in PDF format. If you have any questions, please email the Principal Investigators: Professors Mario D. Molina (mdmolina@nyu.edu), Minsu Park (mp5500@nyu.edu), and Blaine Robbins (bgr3@nyu.edu). Applications will be accepted until November 15, 2025. About NYU Abu Dhabi NYU Abu Dhabi is a degree-granting research university with a fully integrated liberal arts and science undergraduate program in the Arts, Sciences, Social Sciences, Humanities, and Engineering. NYU Abu Dhabi, NYU New York, and NYU Shanghai, form the backbone of NYU’s global network university, an interconnected network of portal campuses and academic centers across six continents that enable seamless international mobility of students and faculty in their pursuit of academic and scholarly activity. This global university represents a transformative shift in higher education, one in which the intellectual and creative endeavors of academia are shaped and examined through an international and multicultural perspective. As a major intellectual hub at the crossroads of the Arab world, NYUAD serves as a center for scholarly thought, advanced research, knowledge creation, and sharing, through its academic, research, and creative activities. EOE/AA/Minorities/Females/Vet/Disabled/Sexual Orientation/Gender Identity Employer UAE Nationals are encouraged to apply

Description We invite applications for a postdoctoral position in database systems with a strong theoretical foundation. We are looking for a candidate excited by the challenge of rethinking data systems in the face of modern constraints such as optimization under uncertainty, constrained query evaluation, or the design of efficient, explainable, and scalable query engines. The successful applicant will help design and build novel systems and algorithms that challenge traditional assumptions in databases, guided by both real-world needs and formal foundations. They will work at the intersection of systems and algorithms, in collaboration with faculty, students, and external partners. Key Responsibilities Lead independent and collaborative research on topics in database systems, including constrained query evaluation, optimization, and reasoning under uncertainty. Design and analyze novel algorithms or theoretical models related to modern data management challenges (e.g., query feasibility, data correlations, probabilistic evaluation, scalability). Prototype and evaluate data system components or extensions to existing open-source engines. Publish in top-tier conferences (SIGMOD, VLDB, PODS, ICDE, ICDT, etc.) and participate in the wider research community. Mentor students and contribute to a vibrant research culture at NYUAD. Participate in cross-disciplinary projects at CITIES, connecting data systems to applications in urban science, planning, and decision support. Qualifications Required: PhD in Computer Science or a related field, with a focus in databases, data systems, theory, or algorithms. Strong publication record in top-tier venues. Solid background in one or more of the following: Query processing or optimization Constrained or combinatorial query evaluation Data modeling under uncertainty or imprecision Design and implementation of database or data analysis systems Excellent programming and prototyping skills. Strong analytical and communication skills; ability to work both independently and collaboratively. Desirable: Familiarity with modern in-process or embedded query engines (e.g., DuckDB, SQLite, etc.) Experience working with probabilistic databases, provenance, or uncertain data Exposure to decision-making, multi-objective optimization, or declarative problem modeling Prior involvement in open-source or reproducible systems research Interest in interdisciplinary applications of data systems (e.g., urban analytics, scientific workflows) For consideration, applicants need to submit a cover letter, curriculum vitae with full publication list, degree transcript, statement of research interests, and at least two letters of reference, all in PDF format. If you have any questions, please email Azza Abouzied - aa175@nyu.edu About NYUAD: NYU Abu Dhabi is a degree-granting research university with a fully integrated liberal arts and science undergraduate program in the Arts, Sciences, Social Sciences, Humanities, and Engineering. NYU Abu Dhabi, NYU New York, and NYU Shanghai, form the backbone of NYU’s global network university, an interconnected network of portal campuses and academic centers across six continents that enable seamless international mobility of students and faculty in their pursuit of academic and scholarly activity. This global university represents a transformative shift in higher education, one in which the intellectual and creative endeavors of academia are shaped and examined through an international and multicultural perspective. As a major intellectual hub at the crossroads of the Arab world, NYUAD serves as a center for scholarly thought, advanced research, knowledge creation, and sharing, through its academic, research, and creative activities. EOE/AA/Minorities/Females/Vet/Disabled/Sexual Orientation/Gender Identity Employer UAE Nationals are encouraged to apply

As a University of Applied Learning, SIT works closely with industry in our research pursuits. Our research staff will have the opportunity to be equipped with applied research skill sets that are relevant to industry demands while working on research projects in SIT. The primary responsibility of this role is to deliver on a research project, funded by Singapore Ministry of Education (MOE), where you will be part of the research team to develop a scalable and comprehensive framework for formal verification of quantum programs. The framework consists of the following deliverables: Intermediate Language. We plan to develop an intermediate language to model quantum programs. The intermediate language would be complete to describe all the desired characteristics of quantum computing while at the same time simple enough to be understood by most programmers. Formal Verification Framework. We plan to develop a comprehensive framework to verify the correctness of quantum programs written in the proposed intermediate language. Mechanization. We plan to mechanize the formal framework using state-of-the-art theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and manage the research project with Principal Investigator (PI) and the research team members to ensure all project deliverables are met. Undertake these responsibilities in the project: develop an intermediate language to write quantum programs. develop a comprehensive framework to verify the correctness of quantum programs written in our intermediate language. mechanize the verification framework using state-of-the-art theorem provers such as Coq or Isabelle/HOL. develop formal methods for automatic reasoning that can be materialized into commercial tools. Carry out Risk Assessment, and ensure compliance with Work, Safety and Health Regulations. Coordinate procurement and liaison with vendors/suppliers. Work independently, as well as within a team, to ensure proper operation and maintenance of equipment. Job Requirements Have relevant competence in the areas of formal methods (including theorem proving and model checking), quantum computing, and software analysis/verification. Have a degree in computer science, computer engineering, electrical engineering, or related areas. Possessing a Master degree will be advantageous. Knowledge of quantum circuit design and quantum program analysis/verification will be advantageous. Key Competencies Able to build and maintain strong working relationships with people within and external to the university Self-directed learner who believes in continuous learning and development Proficient in technical writing and presentation Possess strong analytical and critical thinking skills Show strong initiative and take ownership of work