NED University of Engineering and Technology

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

Description We are seeking researchers who are passionate about Data Science, with an emphasis in Computational Social Science, with a starting date of September 1, 2026. Some of the possible research topics include: (i) social media analysis, (ii) collaboration and teamwork, (iii) gender inequality, (iv) diversity, (v) online controlled experiments, and (vi) network science. The ideal candidate is self-motivated and hard-working with a Masters degree in Data Science, Computational Social Science, Computer Science, or Information Science, or a bachelor’s degree with several years of experience and expertise in their field. The position requires experience with at least one of the following: Data Science, Machine Learning, Computational Social Science, Big Data. Relevant skills could include statistical analysis, data management and collection, causal inference, network analysis, graph theory, visualizations, and online tool development. Experience in conducting online controlled experiments is also desired, but not required. Excellent communication skills in English, ability to work in multidisciplinary teams, and scientific creativity are essential. Selected candidates will be working closely with Bedoor AlShebli, an Assistant Professor in Computational Social Science in the Social Science Division at NYUAD. The selected candidate will receive an appointment for three years. The position provides salary higher than internationally competitive rates for Post-Doctoral / Research Engineering / Research Associate positions, in addition to substantial benefits (generous housing, transportation and travel allowances, educational subsidies for children), together with full health insurance and retirement contributions. The UAE does not levy income tax. Applications will be accepted on a rolling basis and candidates will be considered until the position is filled. To be considered, all applicants must submit a cover letter, curriculum vitae, a research statement highlighting past and current research experience, transcript and at least two reference letters, all in PDF format. If you have any questions, please email: Bedoor AlShebli bedoor@nyu.edu. Working for NYUAD To help Postdoctoral Associates and faculty thrive, we offer a comprehensive benefits package. This starts with a generous relocation allowance to ensure a smooth transition to Abu Dhabi. It includes a competitive salary; housing and transportation allowances; educational assistance for your dependents attending school in the UAE; and access to health and wellness services. Click here for more information on benefits for you and your family 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.

The University of Vienna is a cosmopolitan hub for  more than 10,000 employees, of whom around 7,500 work in research and teaching. They want to do research and teach at a place that suits their ideas and work together towards answering the big questions of the future. You also appreciate the exchange between disciplines, cultures and generations? We are looking for a/an University Assistant Postdoctoral 52 Faculty of Chemistry Startdate: 01.02.2026 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 31.01.2032 Reference no.: 5069 Explore and teach at the University of Vienna, where over 7,500 academic minds have found a unique blend of freedom and support. Join us if you're driven by a passion for top-notch international research and scientific excellence. Ready to be part of our team? Welcome aboard! Your personal sphere of play: Our highly motivated team is looking for a Post Doc for 6 years with experience in mass spectrometry at the Institute of Analytical Chemistry, in Prof. Köllenspergers group, at the Faculty of Chemistry. The succesful candidate will work with interdisciplinary teams (analytical chemists, clinical, biostatistics and bioinformatics scientists). Your future tasks: Active participation in research, teaching & administration, which means: You are involved in research projects and scientific studies in the area of single cell analysis. You publish internationally and give lectures. You apply for projects and raise third-party funds. You prepare and complete a publication-ready habilitation. You hold courses independently within the scope of the provisions of the collective bargaining agreement. You supervise your students. You participate in evaluation measures and in quality assurance. You take on administrative tasks in research, teaching and administration. This is part of your personality: Completed doctoral/PhD studies in subject Chemistry, Analytical Chemistry or similiar qualification Outstanding dissertation Experience in research management and in leading project staff Didactic skills / experience in e-learning IT skills and excellent MS Office skills, dat Knowledge of: mass spectrometry and analysis of complex data sets (for example: ICP-MS, LA-ICP-MS, MS-Imaging, Metabolomics, Lipidomics) is a significant advantage  Excellent knowledge of German and Englisch (C1)  Team player and high social/communicative skills, strong communication for data presentation, visualization and written skills What we offer: Work-life balance: Our employees enjoy flexible working hours, remote/hybrid (upon agreement). Inspiring working atmosphere: You are a part of an international academic team in a healthy and fair working environment. Good public transport connections: Your workplace in the center of beautiful Vienna is easily accessible by public transport. Internal further training & Coaching: Opportunity to deepen your skills on an ongoing basis. There are over 600 courses to choose from – free of charge. Fixed-term contract and fair salary: The basic salary for now (year 2025) of EUR 4,932,90 (14 times a year) for a period of 6 years increases if we can credit professional experience. Equal opportunities for everyone: We look forward to diverse personalities in the team! It is that easy to apply: With your scientific curriculum vitae / letter of intent With your list of publications With your summary of research interests (max. 1 p.) Doctoral Degree Contact details of persons who could provide referece letter Via our  job portal / Apply now - button If you have any content questions, please contact: Gunda Köllensperger gunda.koellensperger@univie.ac.at We look forward to new personalities in our team! The University of Vienna has an anti-discriminatory employment policy and attaches great importance to equal opportunities, the advancement of women and diversity. We lay special emphasis on increasing the number of women in senior and in academic positions among the academic and general university staff and therefore expressly encourage qualified women to apply. Given equal qualifications, preference will be given to female candidates. University of Vienna. Space for personalities. Since 1365. Data protection ​Application deadline: 01/02/2026 Post Doc