Logo

To perform research on quantum matter theory; more details can be found at https://sites.google.com/view/qmtheory/job-openings.

Research

The Institute of Physics, Academia Sinica in Taipei, Taiwan, invites applications for tenure-track faculty positions in the areas of particle and gravitational physics, physics of active and biological systems, and quantum materials physics. Areas of particular interest include, but are not limited to, granular and soft matter, cell biophysics, physics of biomolecules and polymers, statistical physics, and fluidic phenomena. The recruitment is generally targeted at the Assistant Research Fellow level, but candidates with exceptional qualifications will be considered at more senior ranks.

As Academia Sinica is the most prominent research institution in Taiwan, our institute is committed to the pursuit of excellence in physics research. Faculty can enjoy doing research in a well-equipped environment, and have the chance to apply for various research projects funded by the government or Academia Sinica itself, for example NSTC 2030 Cross-Generation Young Scholar Program, Academia Sinica Career Development Award, Academia Sinica Early-Career Investigator Research Achievement Award, etc.

To conduct an innovative research program in computational (broadly-defined), materials, energy or other chemistry areas

We are looking for a postdoctoral researcher to work on one of the following existing topics:

- Verification of the crash recovery mechanism of storage systems
- SMT over the theory of string or bit-vectors

Or form new research projects in the following directions.

- Verification of quantum (cryptographic) programs/algorithms
- Verification of block-chain/smart contract implementation/algorithms
- Verification/testing of machine learning-enabled systems
- Other topics that might meet the research interest of Dr. Yu-Fang Chen (http://iis.sinica.edu.tw/~yfc)

We are looking for a postdoctoral researcher to work on one of the following existing topics:

- Verification of storage systems
- Automatic quantum program verification.

Or form new research projects in the following directions.

- Verification of block-chain/smart contract implementation/algorithms
- Verification/testing of machine learning-enabled systems
- Other topics that might meet the research interest of Dr. Yu-Fang Chen (http://iis.sinica.edu.tw/~yfc)

Developing and maintaining a programming environment that encourages the idea that a program and its correctness proof should be developed hand in hand. The frontend of the environment is currently a VS Code extension, while the backend is written in Haskell. The assistant will mostly be responsible for the development of the frontend but, if there is interest, may involve in the backend and learn related theories.

The frontend may be written in JavaSript, PureScript, or Reason. The theories include Hoare logic, weakest precondition, separation logic, etc.

1. We are looking for research assistants (full time) for the secure and efficient implementation of cryptographic schemes mostly from the field Post-Quantum Cryptography (PQC) on x86 systems and embedded systems (ARM, FPGAs, ...).
2. We provide a strong research environment with world leading, international researchers on the fields of Embedded Security and Post-Quantum Cryptography.

1. Research topics on networking, social networks, data mining, VR and social applications
2. or with backgrounds in algorithm design, graph theory, optimization, game theory, machine learning, deep learning, statistic inference, stochastic process
3. or network programming or big data analytics

The successful candidate for this position will work at the Institute of Statistical Science, Academia Sinica with Dr. Junho Yang to develop and apply statistical methods in time series and spatial statistics. Research topics can vary based on the candidate's interest and strength, but some sample topics are (1) parameter estimation for multivariate time series; (2) time series with missing values; (3) spectral estimation for random fields.

We conduct research in diverse areas of computational biology, data science and machine learning, including multi-omics data integration of cancers, optimal treatment design for heterogeneous and evolving tumors, single-cell omics data analysis, evolution of biomolecular networks and human populations, topological characterization of networks, and unsupverised learning using deep neural networks. Group members will gain experience in learning domain knowledge, performing scientific reasoning, formulating and solving mathematical models, developing algorithms, writing programs and using existing packages, collecting and analyzing big data, and interacting closely with international and domestic collaborators. We look for motivated persons curious about open scientific problems and willing to dedicate energy and time to solve them.

The Institute of Statistical Science of Academia Sinica is pleased to invite applications for our tenure-track faculty positions. Academia Sinica, the most preeminent academic research institution in Taiwan, offers a secured research environment facilitated with rich collaboration opportunities as well as the freedom of conducting independent research. With a strong tradition of theoretical and interdisciplinary research, the Institute of Statistical Science is aiming for global excellence in mathematical statistics and various statistical applications.

We are seeking a talented individual with a background in science and engineering to develop advanced optical microscopy techniques combined with machine learning to explore the structures and dynamics at the cellular level.