Principal Research Scientist, Symbolic Ai, Cclaw
2 weeks ago
COMPANY DESCRIPTION
Singapore Management University is a place where high-level professionalism blends together with a healthy informality.
The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together - building a strong collegiality and morale within the university.
Our commitment to attract and retain talent is ongoing.We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities - all to meet the work-life needs of our staff.
No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.DESIGNATION :
Principal Research Scientist, Symbolic AI (1-year contract), CCLAW, YPHSL
RESPONSIBILITIES
Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.
As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.
You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes- reading academic papers, standards publications, and related material such as blog posts andpresentations;
- coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
- reading (and updating/commenting, relevant) existing software documentation;
- creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
- writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
- documenting in a sufficiently-detailed manner so as to share what you've learned.
You will be expected to participate in software development; this includes
- learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
- evaluating competing software systems for suitability;
- managing yourself, and managing fellow team members;
- engaging in product, project, and program management as needed
- reading books and consuming such other media forms about software development;
- writing documentation such as user/developer-facing manuals, tutorials;
- delivering community support to users and customers
- preparing presentations to represent the project before external audiences; and
QUALIFICATIONS
This specialist role requires skills in the following areas (one or two in each category is sufficient):
Open-Source Software & Open-Standard Infrastructure Engineering Internet ꞏ Unix ꞏ TCP/IP ꞏ HTTP(S) ꞏ XML ꞏ JSON ꞏ Schemas ꞏ YAML ꞏ Git ꞏ Github ꞏ Technical Writing ꞏ Developer Relations and Evangelism
Programming Languages and Frameworks:
Preferred: Haskell or OCaml
Python Possible alternatives:
Common Lisp ꞏ Racket ꞏ Scheme ꞏ Javascript / Typescript / Node.
Formalization of Contracts, Rules, and
Business Logic:
Akoma Ntoso ꞏ LegalRuleML ꞏ Petri Nets ꞏ Drools ꞏ iLog ꞏ OPA ꞏ Neota Logic ꞏ Constraint Handling Rules ꞏ ICAIL ꞏ JURIX ꞏ RuleML+RR
Semantic Web and Ontologies:
RDFa ꞏ RDFt ꞏ RDF ꞏ RIF ꞏ SWRL ꞏ OWL ꞏ Cyc ꞏ KBpedia ꞏ SUMO ꞏ UFO ꞏ Protégé ꞏ or a commercial rules engine with ontology support
Model Driven Architecture:
UML ꞏ BPMN ꞏ DMN ꞏ OCL ꞏ SBVR ꞏ Statecharts ꞏ Activity Diagrams ꞏ
Parnas Tables Logics:
Hoare
Logic ꞏ Kripke structures ꞏ Modal mu-calculus ꞏ Dynamic Logic ꞏ Deontic, Temporal, and Epistemic modals ꞏ Situation Calculus ꞏ Process Calculi ꞏ Multivalent logics ꞏ Defeasible Logic ꞏ BDI ꞏ Abductive Logic ꞏ F-Logic ꞏ Intuitionistic ꞏ Non-monotonic Logics ꞏ Skolemization ꞏ Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web
Knowledge Representation and Reasoning:
Lisp ꞏ Prolog ꞏ F-Logic ꞏ Drools ꞏ Oracle Policy Manager ꞏ Flora-2 ꞏ Datalog ꞏ Answer-Set Programming ꞏ Defeasible Logic ꞏ Expert Systems ꞏ DocAssemble ꞏ
Skills listed below this line are preferred but not required:
Theorem Proving and
Strongly Typed Languages:
CoQ ꞏ Agda ꞏ Idris ꞏ Lean Prover ꞏ F* ꞏ Advanced Haskell (Template etc) ꞏ OCaml ꞏ Elm ꞏ Isabelle/HOL ꞏ StrangeLoop ꞏ Pony
Model Checkers and SAT/SMT solvers:
Z3 ꞏ PAT ꞏ SMTlib ꞏ NuSMV ꞏ SPIN ꞏ Sentient
IDEs, Language Workbenches, and PLT frameworks: K Framework ꞏ JetBrains MPS ꞏ IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) ꞏ Language Server Protocol Rule Systems and Logics
Computational Linguistics - Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) ꞏ Montague Semantics ꞏ Grammatical Framework ꞏ Text planning ꞏ Surface reali
-
Singapore SINGAPORE MANAGEMENT UNIVERSITY Full timeContract Middle Management Bachelor\'s Degree or equivalent | Master\'s or equivalent | Doctorate or equivalent Singapore | Closing On 17 May 2023 1-year contractAbout Us Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The \'family-like\' atmosphere among the SMU community fosters a...
-
Singapore SINGAPORE MANAGEMENT UNIVERSITY Full timeContract Middle Management Bachelor\'s Degree or equivalent | Master\'s or equivalent | Doctorate or equivalent Singapore | Closing On 17 May year contractAbout Us Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The \'family-like\' atmosphere among the SMU community fosters a culture...
-
Singapore SINGAPORE MANAGEMENT UNIVERSITY Full timeContract Middle Management Bachelor\'s Degree or equivalent | Master\'s or equivalent | Doctorate or equivalent Singapore | Closing On 17 May year contractAbout Us Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The \'family-like\' atmosphere among the SMU community fosters a culture...
-
Singapore SINGAPORE MANAGEMENT UNIVERSITY Full timeContract Middle Management Bachelor\'s Degree or equivalent | Master\'s or equivalent | Doctorate or equivalent Singapore | Closing On 17 May 2023 1-year contractAbout Us Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The \'family-like\' atmosphere among the SMU community fosters a...
-
AI Research Scientist
2 weeks ago
Singapore HyperGAI Full timeWe are looking for extraordinary research scientists in the Multimodal Generative AI field. As a research scientist, you discover new research problems, develop novel methods, train new models, design comprehensive experiments, and generally advance the state of the art in Generative AI. Research scientists have the opportunities of choosing their research...
-
Principal AI Scientist
4 weeks ago
Singapore ST ENGINEERING IHQ PTE. LTD. Full timeRoles & ResponsibilitiesWe are looking for a Principal AI Scientist specializing in large language models and natural language processing. Our mission is to push the boundaries of what is possible in the realm of AI and to create transformative solutions that impact industries worldwide. As a thought leader in AI, you will play a pivotal role in...
-
Principal AI Scientist
2 weeks ago
Singapore ST ENGINEERING IHQ PTE. LTD. Full timeRoles & ResponsibilitiesWe are looking for a Principal AI Scientist specializing in large language models and natural language processing. Our mission is to push the boundaries of what is possible in the realm of AI and to create transformative solutions that impact industries worldwide. As a thought leader in AI, you will play a pivotal role in...
-
Principal Research Scientist, Symbolic Ai
1 month ago
Singapore SINGAPORE MANAGEMENT UNIVERSITY Full time: Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible. You may be asked to...
-
Principal Research Scientist, Symbolic Ai
4 weeks ago
Singapore SINGAPORE MANAGEMENT UNIVERSITY Full time: Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible. You may be asked to...
-
Research Scientist, CFAR, IHPC
3 weeks ago
Singapore A*star Research Entities Full timeJob Description: The research scientist will be responsible for designing novel methods and theories for testing and enhancing the fairness of foundation models. The research scientist will be responsible for supervising local and international students. The research scientist will implement the codes and system for AI fairness testing and enhancement. The...
-
Senior AI Research Scientist
2 months ago
Singapore HYPERGAI PTE. LTD. Full timeRoles & ResponsibilitiesJob Details:The HyperGAI founding team has been pioneering in the field of artificial intelligence especially for Generative AI areas including multimodal generative AI, foundation models, large language models, computer vision, deep learning and machine learning. At HyperGAI, our team is committed to advancing the frontier of...
-
Senior AI Research Scientist
4 weeks ago
Singapore HYPERGAI PTE. LTD. Full timeRoles & ResponsibilitiesJob Details:The HyperGAI founding team has been pioneering in the field of artificial intelligence especially for Generative AI areas including multimodal generative AI, foundation models, large language models, computer vision, deep learning and machine learning. At HyperGAI, our team is committed to advancing the frontier of...
-
Principal Research Scientist
2 months ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeThe Air Traffic Management Research Institute (ATMRI), established in 2013 through a strategic partnership between NTU and the Civil Aviation Authority of Singapore (CAAS), is a premier institution dedicated to advancing the science and technology of air traffic management. ATMRI aims to enhance the efficiency, safety, and sustainability of the worldwide air...
-
Principal Research Scientist
1 month ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeThe Air Traffic Management Research Institute (ATMRI), established in 2013 through a strategic partnership between NTU and the Civil Aviation Authority of Singapore (CAAS), is a premier institution dedicated to advancing the science and technology of air traffic management. ATMRI aims to enhance the efficiency, safety, and sustainability of the worldwide air...
-
Principal Research Scientist
4 weeks ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeThe Air Traffic Management Research Institute (ATMRI), established in 2013 through a strategic partnership between NTU and the Civil Aviation Authority of Singapore (CAAS), is a premier institution dedicated to advancing the science and technology of air traffic management. ATMRI aims to enhance the efficiency, safety, and sustainability of the worldwide air...
-
Principal Research Scientist
4 weeks ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeThe Air Traffic Management Research Institute (ATMRI), established in 2013 through a strategic partnership between NTU and the Civil Aviation Authority of Singapore (CAAS), is a premier institution dedicated to advancing the science and technology of air traffic management. ATMRI aims to enhance the efficiency, safety, and sustainability of the worldwide air...
-
AI Researcher/ Scientist
1 month ago
Singapore SHANDA GROUP PTE. LTD. Full timeRoles & ResponsibilitiesWhy Join UsInnovation is at the core of Shanda's mission. We learn and innovate together, continuously moving forward. For us, every challenge, no matter how difficult, is an opportunity to learn, innovate, and grow towards long-term goals. At Shanda, we create and grow together. This is how we make an impact—for ourselves, our...
-
Principal Data Scientist
4 weeks ago
Singapore CTES CONSULTING PTE. LTD. Full timeRoles & ResponsibilitiesOur client is actively searching for a Principal Data Scientist to join their team!If you are a dynamic individual seeking a new career opportunity, read further!The responsibilities of this role are:We are leading an AI Lab, pioneering in the field of artificial intelligence in healthcare. Our mission is to revolutionize the way AI...
-
Principal Ai Scientist, Artificial Intelligence
2 weeks ago
Singapore Singapore Technologies Engineering Ltd Full timeJob ID: Location: Elect - 100 Jurong East Street, SG- Description:The Company ST Engineering Group Engineering CenterJob Brief (Full-Time)We are looking for a Principal AI Scientist specializing in large language models and natural language processing. Our mission is to push the boundaries of what is possible in the realm of AI and to create transformative...
-
Principal Research Scientist, Symbolic Ai
4 weeks ago
Singapore SINGAPORE MANAGEMENT UNIVERSITY Full time: Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible. You may be asked to...
