Sort by
Refine Your Search
-
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
-
design, software analysis, and software vulnerability detection. Experience in autonomous agent system design in computer security (e.g., vulnerability mining and verification, source code vulnerability
-
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
-
want to be part of a team that drives meaningful impact, we’d love to hear from you! Join us and be a part of shaping the future of finance at NUS! Website: https://www.nus.edu.sg/finance LinkedIn: https
-
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
-
environment, and want to be part of a team that drives meaningful impact, we’d love to hear from you! Join us and be a part of shaping the future of finance at NUS! Website: https://www.nus.edu.sg/finance