12 proof-checking-postdoc-computerscience positions at SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
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
-
be responsible for the end-to-end development of augmentation software, from theoretical design and simulation to real-world proof-of-concept demonstrations. You will work on a portfolio of critical
-
on an industry innovation research project where you will be part of the research team to develop build proof-of-concept cyber security solutions and smart nation related systems. Key Responsibilities Participate
-
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
-
application programming interfaces (APIs), through rigorous simulations and proof-of-concept (PoC) trials. This position is ideal for a researcher with a passion for solving complex problems at the intersection
-
to real-world proof-of-concept demonstrations. You will work on a portfolio of critical enhancements, including advanced navigation algorithms, swarm intelligence, cyber security hardening, and payload
-
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
-
on an industry innovation research project where you will be part of the research team to develop build proof-of-concept cyber security solutions and smart nation related systems. Key Responsibilities Participate
-
team to develop build proof-of-concept cyber security solutions and smart nation related systems. Key Responsibilities Participate in and manage the research project with Principal Investigator (PI), Co
-
, compressors, blowers and develop respective process datasheets To check design outputs, datasheets and drawings to ensure accuracy and completeness to design requirements and concepts Involve in sizing