Principal Research Scientist, Symbolic Ai, Sol
4 days 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), SOL
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 ꞏ lps.doc.ic.ac.uk
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 realization Fa
-
Research Scientist
6 days ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeRole Summary:Research Scientist - Blockchain and AIAbout NTU:Nanyang Technological University (NTU) is a leading research university in Asia, with a strong commitment to innovative research and education. Our College of Engineering is one of the largest and most respected engineering faculties in the world, with a reputation for excellence in research and...
-
Principal Research Scientist
2 days ago
Singapore Singapore Technologies Engineering Ltd Full time**Date**:10-Nov-2021 **Location**: Singapore, SG **Company**:ST Engineering Group **Principal Research Scientist (Maintenance, Repair, Overhaul)** **Background**: The Data Analytics Strategic Technology Centre (DA STC) is a Corporate R&D centre for Data Analytics & Artificial Intelligence that aims to develop key data analytics technologies to support ST...
-
Principal/ Senior Research Scientist
1 day ago
Singapore ILLINOIS ADVANCED RESEARCH CENTER AT SINGAPORE LTD. Full timeTrustworthy and Secure Cyber-Plexus for Digital Communities (TSCP-DC), is primarily focused on the cyber-security of the ensemble of subsystems that support “Digital Community” such as exist in the Singapore urban environment. We are currently searching for a highly motivated individual to fill the position of Principal / Senior Research Scientist...
-
Scientist/senior Scientist
2 days ago
Singapore A*STAR Agency for Science, Technology and Research Full timeThe CPPS group is seeking a highly motivated scientist or senior scientist to lead in the development of AI technologies to deliver impactful and innovative digital technologies for predictive/prescriptive analytics and decision support. He/she will be expected to define growth opportunities and new ways to engage industry to advance AI for manufacturing,...
-
Principal Research Scientist
3 days ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeEstablishing the Jinan-NTU Green Technology Research Institute (GreenTRI) has been pivotal in fostering international collaborations in digital technologies and green technology. As a Principal Research Scientist, you will play a crucial role in guiding the centre of excellence towards achieving its vision and mission. Key Responsibilities Support the...
-
Research Scientist
3 weeks ago
Singapore SINGAPORE-MIT ALLIANCE FOR RESEARCH AND TECHNOLOGY CENTRE Full timeRoles & ResponsibilitiesProject OverviewWe are seeking a Research Scientist to systematically organize knowledge for a project on "Designing human-AI teams." The project is part of a five-year research program on "Mens, Manus and Machina—How AI Empowers People, Institutions and Cities in Singapore (M3S)."Successful applicants for this position will have...
-
Senior Research Engineer, Symbolic Ai, Cclaw
2 days ago
Singapore Singapore Management University Full timeCOMPANY 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...
-
Research Scientist
1 day ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeJinan-NTU Green Technology Research Institute (GreenTRI) was established to focus on international collaborations in digital technologies and GreenTech. GreenTRI is looking for a motivated Research Scientist to conduct research and develop AI models leveraging deep learning and data analysis for carbon measurement, route optimization, and sustainable...
-
AI Research Scientist
2 weeks ago
Singapore GO GLOBAL HR PTE. LTD. Full timeRoles & ResponsibilitiesWe are seeking experienced professionals with deep expertise in AI, specializing in Transformer architecture, Large Language Models (LLMs), and inference frameworks (e.g., vLLM, SGLang). Familiarity with tools like Comfyor Flux is a plus. You will lead cutting-edge research and deploy AI solutions in real-world applications. ** ...
-
Ai Researcher
2 days ago
Singapore ANTCHAIN TECHNOLOGY PTE. LTD. Full time**Job Description**: - Plan and lead the development of new and advanced data analytic techniques, methodologies and analytical solutions from design, prototyping, and testing. - Identify and develop core data and AI science components for the delivery of projects, architect specialised database and computing environments, explore and visualise complex data...
-
Principal Data Scientist
3 days ago
Singapore NodeFlair Full time**Job Summary**: **Job Type** Permanent **Seniority** Principal **Years of Experience** At least 6 years **Tech Stacks** AWS Docker Analytics CI Azure Kubernetes SQL Python - An opportunity has arisen for an extraordinary and enthusiastic Principal Data Scientist who is passionate in crafting, developing, and fielding data science solutions that drive...
-
Research Fellow
1 day ago
Singapore Cambridge Centre for Advanced Research and Education (CARES) Full time**Who are we?** We are the University of Cambridge presence in Singapore called Cambridge CARES, sponsored by the NRF CREATE program CAM.CREATE. CARES also hosts industry-funded and other agencies funded projects. Our team is comprised of world-class scientists and engineers working in a vibrant, fast-paced environment with great opportunities for...
-
Principal Data Scientist
3 days ago
Singapore Johnson & Johnson Full timeJohnson & Johnson Innovative Medicine (JJIM), formerly Janssen, is driven by dedication to product innovation, customer focus, and organisational excellence. From research to real-life solutions, JJIM has a long track record in developing and marketing treatments that make a real difference. We are currently looking for a unique individual with exceptional...
-
Principal Research Leader
4 days ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeAbout Us The Jinan-NTU Green Technology Research Institute (GreenTRI) is a centre of excellence focused on international collaborations in digital technologies and GreenTech. Our mission is to drive innovation and growth through strategic research partnerships. We are seeking a motivated Principal Research Scientist to guide our centre in achieving its...
-
Principal Research Scientist
1 day ago
Singapore Sea Limited Full timeCorporate IT Security Team plays an important role in maintaining and improving the security of our business operations globally. In this role, you will help to develop the security policy and procedure, evaluate security solutions, support security compliance programs, and participate in cybersecurity initiatives to enhance the Corp IT’s security...
-
Research Scientist
4 days ago
Singapore ZVC SINGAPORE PTE. LTD. Full time**What you can expect** As a Research Scientist working in the machine translation team, you have the opportunity to transform your ideas into products, solve cutting-edge AI and MT problems, and deploy models that constantly advance state of the art. Your role is pivotal to breaking the language barriers inside Zoom products and creating an impact in...
-
Principal Research Scientist
2 days ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full time**Key Responsibilities**: - Lead and guide R&D projects, with a particular focus on human factors, human-AI ATC systems, and advanced machine learning algorithms. - Take a leading role in designing theoretical foundations of methods as well as experiments validating the developed methods. - Plan and execute detailed R&D activities to meet project objectives...
-
Research Scientist in Generative AI
6 days ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeCompany Overview:Nanyang Technological University's (NTU) National Centre for Research in Digital Trust is a premier research centre focused on creating a trusted digital environment. Our mission is to support efforts to create a trusted digital environment for people and businesses in the digital transformation by providing businesses and consumers with...
-
Principal Research Scientist
4 days ago
Singapore Nanyang Technological University Full timeKey Responsibilities: - Lead and guide R&D projects, with a particular focus on human factors, human-AI ATC systems, and advanced machine learning algorithms.- Take a leading role in designing theoretical foundations of methods as well as experiments validating the developed methods.- Plan and execute detailed R&D activities to meet project objectives and...
-
Senior Ai Scientist
3 days ago
Singapore Aon Corporation Full timeSenior AI Scientist **Senior AI Scientist** Are you interested in working with a multi-functional team of data scientists, engineers, and domain experts to create innovative products? If you are keen to lead the design, development, and deployment of natural language processing (NLP) and large language models (LLMs) solutions, then this may be the role for...