-
Division of Mathematics and Physical Sciences-Institute of Physics
To perform research on quantum matter theory; more details can be found at https://sites.google.com/view/qmtheory/job-openings.
-
Dr. Chen-Hsuan Hsu’s research group
-
截止:2030-08-31
-
Division of Mathematics and Physical Sciences-Institute of Physics
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.
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.
-
Institute of Physics, Academia Sinica
-
截止:2024-07-12
-
Division of Mathematics and Physical Sciences-Institute of Chemistry
To conduct an innovative research program in computational (broadly-defined), materials, energy or other chemistry areas
-
-
截止:2023-12-31
-
Division of Mathematics and Physical Sciences-Institute of Information Science
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)
- 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)
-
The Formal Verification Lab led by Dr. Y
-
截止:2024-12-31
-
Division of Mathematics and Physical Sciences-Institute of Information Science
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)
- 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)
-
The Formal Verification Lab led by Dr. Yu-Fang Chen
-
截止:2024-12-31
-
Division of Mathematics and Physical Sciences-Institute of Information Science
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.
The frontend may be written in JavaSript, PureScript, or Reason. The theories include Hoare logic, weakest precondition, separation logic, etc.
-
Programming Languages Laboratory, run by Shin-Cheng Mu
-
截止:2023-12-31
-
Division of Mathematics and Physical Sciences-Institute of Information Science
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.
2. We provide a strong research environment with world leading, international researchers on the fields of Embedded Security and Post-Quantum Cryptography.
-
Dr. Ruben Niederhagen’s Laboratory
-
截止:2023-12-31
-
Division of Mathematics and Physical Sciences-Institute of Information Science
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
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
-
Research Lab of Dr. De-Nian Yang
-
截止:2023-12-30
-
Division of Mathematics and Physical Sciences-Institute of Statistical Science
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.
-
Dr. Junho Yang
-
截止:2023-12-31
-
Division of Mathematics and Physical Sciences-Institute of Statistical Science
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.
-
Dr. Chen-Hsiang Yeang
-
截止:2023-12-31
-
Division of Mathematics and Physical Sciences-Institute of Statistical Science
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.
-
-
截止:2023-12-01
-
Division of Mathematics and Physical Sciences-Institute of Atomic and Molecular Sciences
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.
-
Nano-Bio-Photonics Lab
-
截止:2023-10-31