Brest State Technical University
Discover similar universities
Find out more about studying, research and jobs at these universities
suggested
Jobs you might be interested in
You may want to explore jobs from other universities which are relevant to you
See all
Research Engineer (in the Area of Verification of Quantum Programs) (LSW)
Singapore Institute of Technology (SIT)
Singapore
Singapore Institute of Technology (SIT)
Singapore
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
Salary
Competitive
Posted
26 Dec 2025
Post-Doctoral Associate in the Division of Engineering - Dr. Ahmad Bin Thaneya
New York University Abu Dhabi Corporation
United Arab Emirates, Abu Dhabi
New York University Abu Dhabi Corporation
United Arab Emirates, Abu Dhabi
Description The Division of Engineering (Civil and Urban Engineering) in New York University Abu Dhabi seeks to recruit a post-doctoral associate to work on research centering around infrastructure systems and the environment under the supervision of Dr. Ahmad Bin Thaneya. The post-doctoral associate will lead collaborative efforts in advancing research focusing on the intersection of infrastructure, climate, and human health. Examples of current active projects include: Developing optimization models to analyze and mitigate fine particulate matter (PM2.5) exposure from various infrastructure systems (e.g., transportation networks, manufacturing systems, and truck routing). Assessing the relevance of the intake fraction (i.e., exposure efficiency) of major emission sources as a critical metric for infrastructure design, management, and policymaking. Investigating the residual sources of PM2.5 exposure from transportation systems following electric vehicle (EV) adoption, including exposure due to emissions from electricity generation for charging EVs, buses, trucks, rail, pavement resurfacing, tire and brake wear, and supply chain effects. Conducting life-cycle uncertainty assessments of building materials, carbon sinks (e.g., carbon dioxide removal options), and alternative low-carbon fuel sources. Candidates should demonstrate a strong theoretical background and proficiency in one or more of the following areas: infrastructure systems modeling, emissions inventory development, air quality modeling (chemical transport models and/or reduced-complexity models), exposure assessment of airborne pollutants, and life-cycle assessment. The post-doctoral associate will be expected to lead research efforts and contribute to publications in reputable academic journals. Qualifications: A PhD in Civil and Environmental Engineering or a related field High proficiency in programming languages (e.g., Python or MATLAB) A strong record of authorship in peer-reviewed academic journals Excellent interpersonal and communication skills to support effective collaboration For consideration, applicants need to submit a cover letter, curriculum vitae with full publication list, statement of research interests, a transcript, and two letters of reference, all in PDF format. If you have any questions, please email aab8693@nyu.edu. The terms of employment are very competitive and include housing and educational subsidies for children. Applications will be accepted immediately, and candidates will be considered until the position is filled. 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.
Salary
Competitive
Posted
26 Dec 2025
Professor and Director, Pan Sutong SH-HK Economic Policy Research Institute
Lingnan University
Hong Kong, Tuen Mun
Lingnan University
Hong Kong, Tuen Mun
Lingnan University is one of the eight publicly funded institutions in the Hong Kong Special Administrative Region (HKSAR) and has the longest established tradition among the local institutions of higher education. It is widely recognised for providing quality education with a focus on whole-person development and conducting high-impact research for a better world. Moving forward, Lingnan University aspires to become a comprehensive university in arts and sciences in the digital era, with impactful research and innovations. Lingnan University offers undergraduate, taught postgraduate, and research postgraduate programmes in the Faculties of Arts, Business, Social Sciences, and the Schools of Data Science, Graduate Studies and Interdisciplinary Studies. To foster interdisciplinary collaboration and scientific progress, Lingnan University established the Lingnan University Institute for Advanced Study (LUIAS), attracting distinguished scholars from around the world to collaborate with its faculty and students. With traditional strengths in arts, business, social sciences, and interdisciplinary studies, the University aims to equip students with practical knowledge and critical thinking skills to thrive in the future. Subsequent to the establishment of the School of Data Science and LUIAS, Lingnan University is transforming into a hub for global leaders to develop and promote human-centric technology and social policies. Further information about Lingnan University is available at https://www.ln.edu.hk/. Applications are now invited for the following post: Professor and Director Pan Sutong Shanghai-Hong Kong Economic Policy Research Institute (Post Ref.: 24/245) Pan Sutong Shanghai-Hong Kong Economic Policy Research Institute (PSEI) aims to promote policy-related research on economic development of the Mainland and Hong Kong. It will synergise resources and expertise in the Mainland and Hong Kong to strengthen research on salient issues related to the economic and financial development of the two places. It will also provide research consultancy on industry and economic policies, in addition to offering policy advice to the authorities to foster mutual prosperity of the Mainland and Hong Kong. The Institute is seeking an outstanding scholar with distinguished scholarly accomplishment in research, teaching and knowledge exchange in the field of policy-related research on economic development of the Mainland and Hong Kong. The appointee will be appointed as a Professor in the Department of Economics and concurrently as Director of the PSEI. The Director of PSEI will be expected to (i) provide strategic direction and leadership for the operation of the Institute to ensure research quality and effectiveness; (ii) formulate and implement strategies for networking and building rapport with academia, business sector, industries and other related stakeholders; (iii) explore new collaboration opportunities with community partners and stakeholders and (iv) identify and secure funding opportunities through grants, partnerships and sponsorships to support the research projects/programmes and various activities of the Institute. General Requirements Applicants should have a PhD degree in Economics or relevant discipline, with substantial teaching experience and excellent track record in research and scholarly activities. Good networking capability and ability to establish linkages with the business sector, industries and other research stakeholders would be a definite advantage. Salary and Benefits The conditions of appointment will be competitive. The remuneration will be commensurate with qualifications and experience. Fringe benefits include annual leave, medical and dental benefits, mandatory provident fund, gratuity and incoming passage and baggage allowance for the eligible appointee. Appointment will normally be made on an initial contract of three years, which, subject to review and mutual agreement, may lead to longer-term appointments with possibility of consideration for substantiation. For applicants with outstanding credentials, substantiation at appointment will be considered. Application Procedure (online applications only) Please click "Apply Now" to submit your application. Applicants shall provide names and contact information of at least three referees to whom applicants’ consent has been given for their providing references. Personal data collected will be used for recruitment purposes only. We are an equal opportunities employer. Review of applications will continue until the post is filled. Qualified candidates are advised to submit their applications early for consideration. The University reserves the right not to make an appointment for the post advertised, or to fill the post by invitation or by search. We regret that only shortlisted candidates will be notified.
Salary
Competitive
Posted
26 Dec 2025
Associate Lecturer / Lecturer in Human Computer Interaction and User Experience
Flinders University
Australia, Adelaide
Flinders University
Australia, Adelaide
Position Details Full Time | Continuing Academic Level A | $88,842 - $107,666 pro-rata plus 17% super I View Position Description Academic Level B I AU$ 113211- $133974 p.a + 17% Super I View Position Description Location: Tonsley / Kaurna Country /Australia View Candidate Brochure About the Role: Flinders University’s College of Science and Engineering is seeking a motivated academic to join the Computing and Mathematical Sciences discipline as an Associate Lecturer/Lecturer in Human Computer Interaction and User Experience (HCI/UX). This position offers an exciting opportunity to contribute to high-quality teaching and research in the broad computing discipline, with a specific focus on Human Computer Interaction and User Experience. In this position, you will: Plan, deliver and evaluate high-quality teaching, curriculum develop, topic coordination and accreditation across computing topics using contemporary, multi-mode teaching approaches. Undertake ethical, high-quality research aligned with critical technologies, including quality publications and external grant activity. Supervise honours and higher degree research students (commensurate with career stage). Actively participate in internal and external quality assurance and accreditation processes. This position is open to interstate candidates and relocation support is available. About You: You are an emerging or established academic with expertise in Human Computer Interaction and/or User Experience, a strong commitment to student-centred teaching, and a developing or established research profile. You are student-focused, research-active and able to work collaboratively across disciplines and with external stakeholders. You will also demonstrate: Completion of a relevant postgraduate qualification (or near completion of a PhD for Level A) in computing or a related discipline with relevance to HCI and/or UX. Evidence of, or capacity to deliver, high-quality tertiary teaching across engineering areas relevant to critical technologies. A developing (Level A) or established (Level B) research track record appropriate to career stage, including quality publications and competitive grant activity. About the College of Science and Engineering At the College of Science and Engineering we believe in the power of science and engineering to solve real world problems. Our vision is to provide internationally recognised science and engineering education programs that are accessible, student centred, innovative and impactful. As well as being globally recognised for our research to advance science and engineering by creating new technologies that make our world more connected, secure, healthy, and sustainable. We seek to understand the past, but also to create the world of the future. Our College is an exciting place to research, study, and work, supported by best practice teaching methods, practical work-related learning, and advanced facilities. Why Flinders University? At Flinders University, we embrace and celebrate diversity and are committed to achieving gender equality in employment by identifying and removing any discriminatory employment barriers and taking action to promote gender equality in the workplace. We have been awarded Institutional Bronze Accreditation in the SAGE Athena SWAN program, recognising the University’s ongoing efforts towards achieving gender equity. Ours is an inclusive culture that believes absolutely in equality and opportunity for all. We don't just accommodate differences; we embrace and celebrate them. So, why work at Flinders? Ranked in the top 2% of universities worldwide. Ninety per cent of Flinders research has been ranked at ‘world standard or above’ by Excellence in Research for Australia (ERA). 17% Superannuation + salary packaging options Flexible working arrangements Wide range of professional development activities, funds and services, such as Flinders University’s Researcher Development and Leadership Programs. Our Commitment to Reconciliation and Indigenous Employment Flinders University is proud to be an organisation that is committed to our Reconciliation Action Plan and Indigenous Workforce Strategy. Our vision is to be a preferred employer for Aboriginal and Torres Strait Islander peoples. We are committed to progressing Indigenous advancement in education, research, employment, and wellbeing, and strongly encourage applications from Aboriginal and Torres Strait Islander peoples for all Flinders vacancies. Prescribed Conditions for Employment A current Nationally Coordinated Criminal History Check which is satisfactory to the University will be required by Flinders University before the successful applicant can commence in this position. A criminal record will not automatically disqualify a candidate from consideration. Each case will be assessed on its individual merits and relevance to the inherent requirements of the role. This position may require the successful applicant to hold (or be eligible to obtain) an NV1 (Negative Vetting Level 1) Security Clearance How to Apply and Information To apply online, please visit the Jobs@Flinders website via the job portal. You will be requested to nominate the position you wish to be considered for: Associate Lecturer in Human Computer Interaction and User Experience I View Position Description Lecturer in Human Computer Interaction and User Experience I View Position Description You are required to submit a CV and a two-page Suitability Statement addressing the key position capabilities of the relevant position description. For more information regarding this position, we strongly encourage you to please contact Associate Professor Carl Mooney Important Notice: Recruitment Activity During University Shutdown Please note that recruitment activity will be paused during the Flinders University shutdown period. No updates or progress on applications will be available between 24 December 2025 and 5 January 2026. Recruitment processes will resume from 5 January 2026, and application statuses will be communicated from that date onward. We appreciate your understanding and patience during this time. Certification Applications to be submitted before 10.00pm: 20 Jan 2026 At Flinders we embrace and celebrate diversity and encourage applications from Aboriginal and Torres Strait Islander peoples, and people of all ages, ethnicities, abilities, sexual orientations, and gender identities. Flinders. Fearless.
Salary
$88,842 - $133,974 p.a + 17% Super
Posted
26 Dec 2025
Post-Doctoral Associate in the Center for Interacting Urban Network - Dr. Azza Abouzied
New York University Abu Dhabi Corporation
United Arab Emirates, Abu Dhabi
New York University Abu Dhabi Corporation
United Arab Emirates, Abu Dhabi
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
Salary
Competitive
Posted
26 Dec 2025