Total 163 research nurse job vacancies in Singapore

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.

RESPONSIBILITIES

We are seeking a highly motivated Postdoctoral Research Fellow to play a leading role in a cutting-edge interdisciplinary and multi-institute research project: Developing a risk assessment and communication platform to translate climate projections to policy. The successful candidate will work with Associate Professor Terry van Gevelt (Singapore Management University), Professor Winston Chow (Singapore Management University), Professor Adam Switzer (Nanyang Technological University), Associate Professor Sonny Rosenthal (Nanyang Technological University) and Associate Professor Brian McAdoo (Duke University) to develop a climate risk and communication platform for Singapore and other major cities in Southeast Asia. The successful candidate will play a crucial role in advancing our understanding of climate risk reduction and developing novel communication strategies to translate climate science to policy in Singapore and the region.

The successful candidate will:

• Conduct research to identify key climate risks in Singapore and other major cities in Southeast Asia;
• Examine instances of successful adaptation or maladaptation, and path dependencies in climate risk reduction approaches;
• Contribute to the development of a climate risk communication platform built around immersive virtual reality narratives;
• Collaborate with an interdisciplinary team, policymakers, and other stakeholders to translate research findings into actionable policies and practices;
• Publish research findings in high-impact interdisciplinary journals and present at international conferences;
• Mentor and collaborate with graduate and undergraduate students.

This research project is supported by the National Research Foundation, Singapore, and the National Environment Agency under the Climate Impact Science Research Funding Initiative (Award No. CISR-2023-1R-22). Please contact Associate Professor Terry van Gevelt ([email protected]) with any queries concerning the position.

• A PhD in climate science, environmental science, ecology, or a related discipline.
• The successful candidate will have a strong research background in climate change, adaptation, and mitigation, as demonstrated by a track record of peer-reviewed publications and conference presentations.
• The candidate should further demonstrate proficiency in relevant modelling or data analysis tools, excellent communication skills, and an ability to conduct independent research, learn new skills from other disciplines, and work effectively in an interdisciplinary team.
• Experience and interest in translating climate science to policy is a must.

#LI-XL1

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.

RESPONSIBILITIES

• Ingest and curate laws and regulations into a structured format for use in LLMs
• Collaborate with a cross-disciplinary team to ensure the legal fidelity of the model's outputs
• Analyze and identify gaps or challenges in representing legal rules and principles as datasets
• Contribute to discussions on the jurisprudential aspects of legal data representation
• Provide legal expertise to guide the development of AI systems in compliance with Singaporean law

• Singapore law degree (LL.B. or higher) is essential. Strong understanding of Singapore's legal framework, particularly in [insert specific domain]
• Interest in jurisprudence and the theoretical foundations of law
• Familiarity with AI technologies and an eagerness to explore how law can be integrated into machine learning models
• Ability to work independently and collaboratively within an interdisciplinary team
• Prior experience or interest in legal informatics, legal data representation, or law and technology is an advantage.
• Prior experience in conducting research work will be preferred

#LI-JN2

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.

RESPONSIBILITIES

• Design and implement AI for software engineering solutions
• Conduct evaluations and/or user studies to validate the effectiveness of the algorithms and tools
• Write and publish research papers and present them to reputable academic conferences
• Package the documents, implementation code, evaluation results of the project for release
• Liaise with other team members of this project to realize the overall goal of the project

• Excellent Bachelor Degree in Software Engineering/Computer Science/Information Systems from a top-tier or local university. A Master Degree will be preferred
• Research experience in AI or Software Engineering, resulting in at least one submission/publication in a reputable research venue
• Excellent knowledge about AI
• Highly fluent in programming
• Competent in designing and implementing algorithms and data structures
• Excellent oral and written communication skills
• Excellent analytical, technical and problem solving skills
• Self-motivated individual who can work independently and also collaboratively with team members
• Able to work under strict deadlines

#LI-JN2

COMPANY DESCRIPTION

Since October 2011, Thye Hua Kwan Moral Charities (THKMC) was incorporated as a charity with an IPC status to provide multiple social and welfare services to the community at large.

THKMC provides assistance to the various groups in our community through more than 60 programmes and services for the elderly and the sick, families, persons with disabilities, and children. We help anyone in need with full respect to their race, colour, creed, language, culture and religion. We have more than 90 programmes and services, reaching out to more than 55,000 people in the community.

Together, as ONETHK Empowering the Community.

RESPONSIBILITIES

• Assist in clinical assessments and procedures to detect, manage, and meet our residents' physical, medical & psychosocial needs
• Work closely with a dynamic multi-disciplinary team to provide co-ordinated and purposeful nursing care to meet rehabilitative and treatment needs of residents
• Engage with residents, relatives & community partners in care planning discussions.
• Provide orientation, guidance, mentoring and coaching to new or less experienced nurses
• Assist RNs in medication administration & management
• Additional responsibilities as directed by RNs or management
• Assist in residents' activities of daily living (ADL)

• NITEC in Nursing from ITE

• Ability to speak local languages and dialects will be an advantage
• Active team player with strong initiative and good communication skills
• Able to perform rotating shift
• Work location: Islandwide - Chai Chee / Eunos / Sembawang

COMPANY DESCRIPTION

Since October 2011, Thye Hua Kwan Moral Charities (THKMC) was incorporated as a charity with an IPC status to provide multiple social and welfare services to the community at large.

THKMC provides assistance to the various groups in our community through more than 60 programmes and services for the elderly and the sick, families, persons with disabilities, and children. We help anyone in need with full respect to their race, colour, creed, language, culture and religion. We have more than 90 programmes and services, reaching out to more than 55,000 people in the community.

Together, as ONETHK Empowering the Community.

RESPONSIBILITIES

• Give nursing care, including medication, treatment and dealing with emergenciesas well as supervision of the personal hygiene of the residents;
• Teach, guide and discipline the resident;
• Ensure the general cleanliness of the premises;
• Ensure that the treatment room, sickbay, time out room and nurse's station arekept clean and tidy

Duties

• Screen, treat and provide nursing care to sick residents;
• Attend/carry out routine procedures for all new admissions and residentsreturned from absconding;
• Refer sick residents for medical examination by the doctor;
• Arrange the appointment cards and transport of residents attendingappointments at hospitals and polyclinics;
• Follow-up on residents who have been referred to hospitals;Update the residents' medical cards daily eg. diagnosis, treatment, transfer,appointments and discharges from hospitals;
• Serve medication to residents and supervise residents at meal times;
• Give first-aid treatment for emergency cases;Refer ill residents to hospital in the absence of the doctor;
• Supervise Assistant Nurses, Nursing Aides and Health Attendants in their work;
• Supervise the needs of residents who are attending morning school or going to work;
• Carry out necessary investigation arising from any incident that had taken place in the Home and update the Superintendent and Manager;
• Order and maintain supplies and equipment;
• Perform any other duties as may be assigned by the Superintendent from time to time.

• Recognised nursing qualification and registered with the Singapore Nursing Board

• Preferably candidate with at least 1 yr of working experience;
• Comfortable working with children and adults with multiple disabilities;
• Able to perform rotating shiftWork location: Chai Chee / Sembawang / Eunos

COMPANY DESCRIPTION

Since October 2011, Thye Hua Kwan Moral Charities (THKMC) was incorporated as a charity with an IPC status to provide multiple social and welfare services to the community at large.

THKMC provides assistance to the various groups in our community through more than 60 programmes and services for the elderly and the sick, families, persons with disabilities, and children. We help anyone in need with full respect to their race, colour, creed, language, culture and religion. We have more than 90 programmes and services, reaching out to more than 55,000 people in the community.

Together, as ONETHK Empowering the Community.

RESPONSIBILITIES

Job Responsibilities

• Give nursing care, including medication, treatment and dealing with emergencies as well as supervision of the personal hygiene of the residents;
• Teach, guide and discipline the resident;
• Ensure the general cleanliness of the premises;
• Ensure that the treatment room, sickbay, time out room and nurse's station are kept clean and tidy

Duties

• Managing and planning roster for staff.
• Screen, treat and provide nursing care to sick residents;
• Attend/carry out routine procedures for all new admissions and residents returned from absconding;
• Refer sick residents for medical examination by the doctor;
• Arrange the appointment cards and transport of residents attending appointments at hospitals and polyclinics;
• Follow-up on residents who have been referred to hospitals;
• Update the residents' medical cards daily eg. diagnosis, treatment, transfer, appointments and discharges from hospitals;
• Serve medication to residents and supervise residents at meal times;
• Give first-aid treatment for emergency cases;
• Refer ill residents to hospital in the absence of the doctor;
• Supervise and mentor new Staff Nurses, Senior Enrolled Nurses and Enrolled Nurses
• Supervise the needs of residents who are attending morning school or going to work;
• Carry out necessary investigation arising from any incident that had taken place in the Home and update the Superintendent and Manager;
• Order and maintain supplies and equipment;
• Perform any other duties as may be assigned by the Superintendent from time to time.

• Recognised nursing qualification and registered with the Singapore Nursing Board

• Preferably candidate with at least 6 years of working experience;
• Comfortable working with children and adults with multiple disabilities;
• Able to perform rotating shift
• Work location: Chai Chee / Sembawang/ Eunos

COMPANY DESCRIPTION

Since October 2011, Thye Hua Kwan Moral Charities (THKMC) was incorporated as a charity with an IPC status to provide multiple social and welfare services to the community at large.

THKMC provides assistance to the various groups in our community through more than 60 programmes and services for the elderly and the sick, families, persons with disabilities, and children. We help anyone in need with full respect to their race, colour, creed, language, culture and religion. We have more than 90 programmes and services, reaching out to more than 55,000 people in the community.

Together, as ONETHK Empowering the Community.

RESPONSIBILITIES

• Assist in clinical assessments and procedures to detect, manage, and meet our residents' physical, medical & psychosocial needs
• Work closely with a dynamic multi-disciplinary team to provide co-ordinated and purposeful nursing care to meet rehabilitative and treatment needs of residents
• Engage with residents, relatives & community partners in care planning discussions.
• Provide orientation, guidance, mentoring and coaching to new or less experienced nurses
• Assist RNs in medication administration & management
• Additional responsibilities as directed by RNs or management
• Assist in residents' activities of daily living (ADL)

• NITEC in Nursing from ITE

• Ability to speak local languages and dialects will be an advantage
• Active team player with strong initiative and good communication skills
• Able to perform rotating shift
• Work location: Islandwide - Chai Chee / Eunos /Sembawang

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.

RESPONSIBILITIES

• Code development.
• Database management.
• Data analysis and visualizationd.
• Experiment design and implementation.
• Software documentation.
• Meeting arrangementg.
• Presentation.
• Report writing.

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Relevant research experience is preferred.
• Proficiency in programming in Python and related packages.
• Knowledge in large language models, databases (including SQL), NLP, and machine learning.
• Experience with research works is preferred.
• Good analytical, technical and problem-solving skills.
• Applicants with research publications in AI or NLP area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

#LI-JN2

COMPANY DESCRIPTION

THKMC was incorporated on 13 October 2011 as a charity to provide multiple social and welfare services to the community at large, and achieved an Institute of Public Character (IPC) status on 18 November 2011. THKMC is the charitable arm of Thye Hua Kwan Moral Society, which lives by the mission To Serve Mankind to help anyone who needs help regardless of their race, religion, colour, language, creed and culture. THKMC today serves more than 70,000 beneficiaries through more than 70 programmes across five Services, which include Disability, Early Intervention for Children, Family, Seniors' Community, and Therapy.

RESPONSIBILITIES

• Perform admission assessment for new and current clients.
• Monitor Vital Signs (manual or with devices)
• Demonstrate responsibility and accountability for care within scope of practice and level of competence.
• Demonstrate responsibility and accountability for delegated care within scope of practice and level of competence.
• Support, collaborate and co-operate with team members and other healthcare professionals.
• Performs any other additional duties as assigned by Nurse Management Team

Nursing Procedure:

• Insert & remove nasogastric tube.
• Perform female adult urinary catheterization.
• Change of colostomy/stoma bag
• Perform oro-pharyngeal, naso-pharyngeal and tracheal suctioning.
• Serve pre-packed individualised oral medications according to organisation's policies and procedures.
• Perform wound dressing.

• Recognised Enrolled Nurse Certificate or equivalent as approved by the Singapore Nursing Board (SNB)
• At least 2 years working experience in acute setting.
• Good interpersonal and communication skills
• Compassionate, positive and caring nature

• Candidates must be willing to travel islandwide

Working Days/Hours

• Monday to Thursday: 8.30am to 6.00pm
• Friday: 8.30am to 5.30pm

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.

RESPONSIBILITIES

• Collect data through web crawling and/or crowdsourcing.
• Implement baseline methods based on previous research papers.
• Implement new methods to improve the performance of large language models.
• Conduct experiments to empirically evaluate different methods.
• Contribute to the preparation of manuscripts for publication.

• Minimum PhD degree in computer science, Information Technology, Information Systems or closelyrelated disciplines.
• Relevant experiences in video processing, analysis, and research.
• Relevant experiences in developing systems for video computing.
• Excellent knowledge in large-scale video processing and search.
• Excellent knowledge and experience in system development and engineering.
• Good skill in computer programming.
• Good knowledge in dataset curation and preparation of dataset for deep learning.
• Self-motivated individual who can work independently as well as collaboratively in a team to researchand engineer challenging problems.

#LI-JN2

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.

RESPONSIBILITIES

• Training of neural networks using cooking videos and cooking recipes for cross-modal retrieval.
• Training of neural networks for cross-domain food-to-image retrieval.
• Experiment setup and analysis.

• Minimum PhD degree in computer science, Information Technology, Information Systems or closely related disciplines.
• Relevant experiences in food computing (e.g., food image recognition, recipe retrieval, cross-domain food image retrieval).
• Excellent knowledge in food computing.
• Good knowledge AI and large language models.
• Good skill in computer programming.
• Good knowledge in dataset curation and preparation of dataset for deep learning.
• Self-motivated individual who can work independently as well as collaboratively in a team to research and engineer challenging problems.

#LI-JN2

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.

RESPONSIBILITIES

• Design and implement AI for software engineering solutions.
• Conduct evaluations and/or user studies to validate the effectiveness of algorithms and solutions.
• Write and publish research papers and present them to reputable academic conferences.
• Package the documents, implementation code, evaluation results for release.
• Liaise with other team members.

• PhD degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Excellent research experience, evidenced by at least 5 first-authored publications in major/top software engineering conferences and journals, including at least 2 in top-tier publication venues.
• Excellent knowledge about AI for Software Engineering.
• Highly fluent in Python.
• Highly competent in designing and implementing algorithms and data structures.
• Excellent analytical, technical and problem-solving skills.
• Self-motivated individual who can work independently and collaboratively with team members.
• Able to work under strict deadlines.

#LI-JN2

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.

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 participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

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 modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• 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
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

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 Protg 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 Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

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.

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 your domain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypes for government and industry partners in the areas of computable contracts and "rules as code". Experience in requirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multiple use cases so that we can abstract across them and develop generalized, reusable infrastructure. We will work with specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases. You will work as part of a team of research engineers, developers, and domain expertise and you will be expected to actively participate in team meetings and text-based communications. You will be expected to be active members of the applied research community, by validating and contributing to advances incomputational law.

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 and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, 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 modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• 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
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code through community engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

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

Parsers, Compilers, and Programming Language Theory

Lex/YACC alex/happy Bison CFGs EBNF BNFC

App Development

Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

Programming Languages and Frameworks:

Preferred: Haskell or OCaml. Python.

Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language Generation

Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization

Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Formal Verification and Specification Languages

Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

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 ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

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 Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:

RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

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.

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 participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

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;
• building infrastructure to enable application development
• 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
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

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 Protg 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 Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

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.

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 participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances in computational law.

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 and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, 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
• 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 modeling software, programming languages, and libraries
• evaluating competing software systems for suitability
• building infrastructure to enable application development
• 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
• writing actual user-facing applications throughout the "full stack"

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet 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 Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood 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 ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

#LI-JN2

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.

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 manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

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 and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, 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 modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• 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
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) 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 ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

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.

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 manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

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 and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, 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 modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• 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
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) 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 ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

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.

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 manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

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 and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, 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 modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• 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
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) 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 ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Since October 2011, Thye Hua Kwan Moral Charities (THKMC) was incorporated as a charity with an IPC status to provide multiple social and welfare services to the community at large.

THKMC provides assistance to the various groups in our community through more than 60 programmes and services for the elderly and the sick, families, persons with disabilities, and children. We help anyone in need with full respect to their race, colour, creed, language, culture and religion. We have more than 90 programmes and services, reaching out to more than 55,000 people in the community.

Together, as ONETHK Empowering the Community.

RESPONSIBILITIES

• Assist in clinical assessments and procedures to detect, manage, and meet our residents' physical, medical & psychosocial needs
• Work closely with a dynamic multi-disciplinary team to provide co-ordinated and purposeful nursing care to meet rehabilitative and treatment needs of residents
• Engage with residents, relatives & community partners in care planning discussions
• Provide orientation, guidance, mentoring and coaching to new or less experienced nurses
• Assist RNs in medication administration & management
• Additional responsibilities as directed by RNs or management
• Assist in residents' activities of daily living (ADL)

• NITEC in Nursing from ITE

• Ability to speak local languages and dialects will be an advantage
• Active team player with strong initiative and good communication skills
• Able to perform rotating shift
• Night shift allowance: $20 per shift
• Work location: Islandwide - Chai Chee / Eunos / Sembawang

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.

RESPONSIBILITIES

• Processing and cleaning of datasets
• Implementation of research algorithms/tools/systems
• Validation and testing of the implementation
• Documentation of the implementation and results

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines from a reputable institution of higher learning
• Proficiency in programming languages (such as Python) is required
• Good data management skills• Good working knowledge of machine learning and AI
• Experience with visualization technologies is strongly preferred
• Good analytical, technical and problem solving skills
• Self-motivated individual who can work independently and also collaboratively with team members

#LI-JN2

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.

RESPONSIBILITIES

• Literature review.
• Algorithm and signal processing pipeline design.
• SNN design and implementation.
• Data analysis and evaluation.
• Writing papers.

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Minimum 0.5 years of relevant research experience in SNN or signal processing.
• Basic knowledge/Proficiency in programming software/languages such as Python and C will be positively considered/ is required.
• Demonstrated experience and know-how on developing DNN or SNN.
• Experience with at least one programming software/languages, such as Python or C is preferred.
• Excellent working knowledge of signal processing.
• Good analytical, technical and problem solving skills.
• Applicants with research publications in general AI area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

#LI-JN2

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.

RESPONSIBILITIES

• Research on tackling the research problems of SAR image recognition and object detection (semantic segmentation included).
• Develop the state-of-the-art algorithms of SAR image recognition models and publish papers.
• Implement the systematical toolbox using the trained SAR models.
• Demonstrate and visualize the research results in regular meetings with DSO Lab.

• Minimum Master's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Minimum 3 years of relevant research experience in computer vision and deep learning.
• Proficiency in programming languages such as c++ and python is required.
• Demonstrated experience and know-how on pytorch and tensorflow.
• Excellent working knowledge of SAR image processing.
• Good analytical, technical and problem solving skills.
• Applicants with research publications in incremental learning, few-shot learning, and long-tailed image recognition topics will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

#LI-JN2

COMPANY DESCRIPTION

About NTUC Health Co-operative Limited

NTUC Health Co-operative Limited (NTUC Health) is an NTUC social enterprise that provides a comprehensive and integrated suite of quality and affordable health and eldercare services to meet the growing needs of families and their dependents. Building on close to three decades of experience and expertise, NTUC Health is among the largest providers of active ageing, senior day care, nursing home, and home personal care services in Singapore. We also serve vulnerable seniors in selected areas in Singapore through Community Case Management Services (CCMS), CREST mental health support, and a sheltered senior group home. In addition, we run a family medicine clinic.

Our purpose is to achieve ‘health for life'; enabling healthy and fulfilling years by being a trusted partner of seniors and their families in our community.

For more information, please visit https://ntuchealth.sg or follow us on Facebook, Instagram, and LinkedIn.

Services: Senior Day Care | Home Care | Nursing Home | Active Ageing and Senior Fitness | Rehabilitation and Physiotherapy | Family Medicine

Community Support: CCMS (Community Case Management Services) | CREST (Community Resource, Engagement and Support Team) | Henderson Home

RESPONSIBILITIES

Our goal is to provide high-quality, evidence-based nursing care in the clinic. The selected candidate will be responsible for assessing assigned patients, planning, implementing, and documenting nursing care. They will identify the necessary equipment, prepare for, and assist physicians during examinations. Additionally, the staff nurse will perform various patient tests and administer medications within the registered nurse's scope of practice.

• Provide direct nursing care, comfort measures, emotional support to patients under the direction of the physician.
• Promptly screens patients with signs or symptoms of illness.
• Works with the clinical team for appropriate treatment, plan of care and disposition.
• Apply principles of infection control.
• Ensures patient monitoring and follow up.
• Initiates standard emergency procedures until Provider or EMS is available.
• Maintains clinical documentation within the medical records assuring compliance within all guidelines.
• Maintain clinic rooms to a high standard of cleanliness and stocked to the appropriate levels.
• Perform nursing procedures such as blood sampling, injections, wound dressing
• Performs other duties as assigned

• Diploma in Nursing with preferably 2 years of experience in a similar position
• Valid practicing certificate issued by the SNB
• Valid BCLs certification

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.

RESPONSIBILITIES

• To apply machine learning techniques to improve the accuracy of the inferencing system
• To select and analyze specific Android brand/model on their compatibility with the side-channel inferencing system
• To evaluate the performance overhead and accuracy of the inferencing system prototype

• Bachelor or Master Degree in Computer Science, Information Technology, Information Systems, Computer Engineering, or related disciplines
• Project experience in machine learning or Android security is a plus
• Good communication skills in English
• Advanced level of programming and software implementation, especially in C/C++ and Java
• Good understanding of existing machine learning techniques
• Good understanding of Android architecture and Android executables
• Good analytical, technical, and problem-solving skills
• Self-motivated and willing to work in a term

#LI-JN2