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

The candidate will be responsible for conducting AI research on developing conversational AI system for mental health. Successful candidate will be part of an active research team led by Prof LIM Ee Peng from School of Computing and Information Systems, Singapore Management University.

• Code development
• Database management
• Data analysis and visualization
• Experiment design and implementation
• Software documentation
• Meeting arrangement
• Presentation
• Report writing

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines from a reputable institution of higher learning
• 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

Mediacorp is Singapore's largest content creator and national media network, operating a suite of TV channels, radio stations, and multiple digital platforms. Its mission is to engage, entertain, and enrich audiences by harnessing the power of creativity.

We are committed to creating an inclusive and diverse workplace where talent thrives. Our hiring decisions are made based on merit and fit-to-role. If you have a disability or special need which requires accommodation to participate in the recruitment process, please inform us when you submit your online application. We will be happy to support as necessary.

Thank you for your interest and application to this role. Please note that only short-listed candidates will be contacted.

RESPONSIBILITIES

• Do research for topics covered in upcoming productions
• Produce audition scripts for potential talents such as show hosts
• Produce episodic scripts
• Produce scripts for show extensions such as digital content on social platforms
• Collate information for intra and inter-department meetings or sharing sessions
• Brainstorm ideas for new or upcoming shows
• Brainstorm ideas to pitch for new shows
• Conduct in-depth research on a wide range of topics
• Write creative scripts for genres like variety, lifestyle, gameshow, entertainment specials, magazine and shows etc
• Ideate new show concepts
• Participate in company-wide strategic initiatives

• Good command of English
• 2 years' experience is preferable
• Diploma in Creative Writing or Mass Communications
• Able to craft compelling narratives
• Able to craft compelling narratives
• Keen understanding of current trends in entertainment
• Ability to collaborate effectively with producers and creative teams

COMPANY DESCRIPTION

Montfort Care is a vibrant workplace with a supportive culture where collaboration and camaraderie thrive. Our teams are highly cooperative, and colleagues genuinely care for each other. We celebrate diversity and innovation, united by our three core values: Dare to be Different, Teamwork, and CHIONG!

Expect a dynamic and fast-paced environment, as we are in an exciting phase of growth. Success here requires adaptability, agility, and the ability to navigate complexity. Our people stay with us because they find a strong sense of purpose and community, enjoying the opportunity to make a tangible difference in people's lives.

We offer a flexible work environment that values the importance of personal and professional growth. With plenty of opportunities for continuous learning and development, Montfort Care is an ideal place for those who want to grow their careers while contributing to meaningful change.

Join us to be part of an amazing team that's dedicated to making a difference and having fun while doing that!

RESPONSIBILITIES

The Staff Nurse is responsible for facilitating change and improving lives for individuals, families, community facing transitional challenges through the provision of direct services.

He / She will act professionally at all times and be accountable to the client and the organization to ensure that intervention plans are developed and implemented according to professional judgment and knowledge.

Job Responsibilites

• Render care to clients in accordance with the Singapore Nursing Board (SNB) ‘Code for Nurses and Midwives'
• Assess and accept clients to programme according to eligibility and complete all necessary assessments and documentations
• Develop Individualised care plan base on client's needs with person-centred approach
• Oversee clients' medical / nursing needs and ensure service delivery according to service contract and maintains documentation accordingly
• Collaborate and co-operate with internal and external care team members for co-managed cases
• Conduct education and training sessions for caregivers and / or clients to promote person-centred care needs
• Conduct in-service training sessions to guide and support staff and volunteers
• Develop and review workflows or Standard Operating Procedures (SOP) to aid operation needs
• Recommend new strategies for service development and quality improvement / excellence to supervisor and / or manager
• Be a good team player, building positive influence to team and motivated to learn and grow towards self-excellence
• Perform any other duties as directed by supervisor and / or the management

• Diploma/Bachelor Degree in Nursing

Relevant Experience

• At least 2 years of relevant experience. Experience with community nursing is preferred
• Fresh graduates are welcome to apply

Competencies

• People-oriented and good interpersonal skills
• Ability to multi-task and work in a fast-paced and dynamic environment
• Attention to details
• Good verbal and written communication skills
• Committed and can-do attitude
• Team Player

*Only shortlisted candidates will be notified.

COMPANY DESCRIPTION

Montfort Care is a Social Service Agency (SSA) founded by Samuel Ng, BBM in 1998, committed to improving the lives of individuals, families, and the community facing transitional challenges through our network of services and programmes. Since its inception, Montfort Care has been guided by one purpose, that from St Louis-Marie de Montfort: "Those whom the world rejects must move you the most."

Today, we are a key contributor in the family, children and senior segments in the social service landscape, offering our services via Family Service centres, a Child Protection Specialist Centre, a community kitchen, home care services, Active Ageing Centres, and the National Anti-Violence and Sexual Harassment Helpline (NAVH).

Montfort Care is committed to grow our portfolio of services and enhance our capabilities to impact more lives. With this goal in mind, we are hiring talent to join our team in our HQ functions, social service support and direct social services. Join us to co-create a community of social service.

RESPONSIBILITIES

The Staff Nurse is responsible for facilitating change and improving lives for individuals, families, community facing transitional challenges through the provision of direct services.

He / She will act professionally at all times and be accountable to the client and the organization to ensure that intervention plans are developed and implemented according to professional judgment and knowledge.

Job Responsibilites

• Render care to clients in accordance to Singapore Nursing Board (SNB) ‘Code for Nurses and Midwives'
• Assess and accept clients to programme according to eligibility and complete all necessary assessments and documentations
• Develop Individualised care plan base on client's needs with person-centred approach
• Oversee clients' medical / nursing needs and ensure service delivery according to service contract and maintains documentation accordingly
• Collaborate and co-operate with internal and external care team members for co-managed cases
• Conduct education and training sessions for caregivers and / or clients to promote person-centred care needs
• Conduct in-service training sessions to guide and support staff and volunteers
• Develop and review workflows or Standard Operating Procedures (SOP) to aid operation needs
• Recommend new strategies for service development and quality improvement / excellence to supervisor and / or manager
• Be a good team player, building positive influence to team and motivated to learn and grow towards self-excellence
• Perform any other duties as directed by supervisor and / or the management

• Diploma/Bachelor Degree in Nursing

Relevant Experience

• At least 2 years of relevant experience. Experience with community nursing is preferred
• Fresh graduates are welcome to apply

Competencies

• People-oriented and good interpersonal skills
• Ability to multi-task and work in a fast-paced and dynamic environment
• Attention to details
• Good verbal and written communication skills
• Committed and can-do attitude
• Team Player

*Only shortlisted candidates will be notified

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

• The candidate will work on research projects related to dynamic crowdsourcing mechanisms for urban passenger transportation and package delivery.
• Reviewing extensive academic literature, building and analyzing mathematical models, proving theorems, performing numerical analysis and computer simulations.
• Able to work independently with guidance from a supervisor.

• Bachelor degree in Operations Research or a related field.
• Possess strong mathematical modeling and proving skills;
• Excellent computer programming skills;
• Good English writing and communication skills;
• Excellent knowledge of operations management.

#LI-KC1

COMPANY DESCRIPTION

Singapore Art Museum opened in 1996 as the first art museum in Singapore. Also known as SAM, we present contemporary art from a Southeast Asian perspective for artists, art lovers and the art curious in multiple venues across the island, including a new venue in the historic port area of Tanjong Pagar.

SAM is building one of the world's most important public collections of Southeast Asian contemporary art, with the aim of connecting the art and the artists to the public and future generations through exhibitions and programmes. SAM is working towards a humane and sustainable future by committing to responsible practices within its processes.

For more information, visit www.singaporeartmuseum.sg.

RESPONSIBILITIES

• Contribute to scholarship on contemporary art practice and its discourses by facilitating and supporting research and research activities of the Curatorial department.
• Develop and maintain physical and digital holdings of the SAM library collection, to include fulfilling curatorial requests, monitoring new releases/titles, cataloguing (cataloguing, metadata creation, accessioning), and keeping up with subscriptions and memberships.
• Managing library operations through administration of budgets and SOP for internal library use, maintaining library space and inventory, and scheduling regular stock.
• Expand the library collection and utility via interlibrary exchanges and in servicing collection and archival enquiries and image requests (internal and external), managing copyright permissions, facilitating access and retrieval, and working with institutional partners as necessary.
• Project manage the digitization of SAM's institutional archive, including coordinating and developing SOP and preservation processes for both digital and physical materials.
• Work with museum departments on the documentation of SAM exhibitions, events and programmes of archive and research value.
• Facilitate and administer integration of SAM's Archive collection (physical and digital) with the Gallery's Archive collection.
• Undertake other related duties and projects as assigned.

• Degree in Art History/ Humanities/ Social Sciences/ Library or Information Sciences /Museum Studies. Masters' degree in any of the above is a plus
• Keen interest in contemporary art practices in Singapore, Southeast Asia and international
• 4 or more years of working experience in a research, reference library and/or archives role
• Familiarity and experience in developing and operating library management system and databases (eg. Spydus & WorldCat), RFID system, as well as other library systems
• Effectively bilingual (i.e. to read and input texts in 2 languages); Fluency in Southeast Asian languages would be advantageous
• Experience in supervisory role is a plus
• Excellent organisational, communications and interpersonal skills
• Possess service-oriented mindset and disposition
• Able to work independently as well as be a team player where needed
• Strong research, writing, communication, financial and administrative skills
• Other skills: Microsoft Word, Excel

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

The candidate will be responsible for conducting AI research on career trajectory analytics. Successful candidate will be part of an active research team led by Prof LIM Ee Peng from School of Computing and Information Systems, Singapore Management University.

• Code development
• Database management
• Data analysis and visualization
• Experiment design and implementation
• Software documentation
• Meeting arrangement
• Presentation
• Report writing

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines from a reputable institution of higher learning
• 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

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

• Developing research models and methods for robust and safe reinforcement learning
• Prototyping the developed methods
• Evaluating the developed methods on safe reinforcement learning tasks such as blocks world, robotics
• Ensuring these methods are integrated into the overall showcase for the project

• Minimum PhD degree in Computer Science, Information Systems or closely related computing focused disciplines from a reputable institution of higher learning
• Minimum 0-2 years of relevant research experience in Reinforcement Learning, Autonomous Agent Systems, Automated planning
• Publications in top-tier AI and ML conferences such as AAAI, IJCAI, ICAPS, AAMAS, ICML, NeurIPS, ICLR
• Expert Proficiency in programming languages such as python is required (at least 4 years)
• Demonstrated experience and know-how on Reinforcement Learning, automated planning
• Experience in training and finetuning large language models
• Demonstrated experience in deep learning (at least 3 years)
• Publicly available source codes for published research papers
• Relevant course work in algorithms, data structure, probability, statistics, AI and machine learning
• Good analytical, technical and problem solving skills

#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

• 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

• 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

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

• Develop and experiment an AI model to process and explain a video data
• Multimodal representation learning (videos/images + texts, etc.)
• Self-supervised learningd) Large language models
• Domain adaptation
• Work with a clinical partner

• Minimum Bachelor's in Computer Science, Information Technology, Information Systems or closely related disciplines from a reputable institution of higher learning
• Minimum 1 years of relevant research experience in AI and machine learning
• Basic knowledge/Proficiency in programming software/languages such as Python, Tensorflow, Pytorch is required
• Demonstrated experience and know-how on creating an AI/ML model
• Good analytical, technical and problem solving skills
• Applicants with research publications in AI & Health areas 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

The SMU Urban Institute, launched in early 2024, is a university-level research institute dedicated to advancing an interdisciplinary research agenda. Leveraging SMU's strategic position as a dynamic management university in Singapore's city centre, the Institute aims to make a meaningful impact through the study of Asian cities. We are currently seeking individuals with specific skillsets to support the various ongoing research projects at the Institute.

The candidate will be responsible for collecting, compiling, and linking together the datasets related toindividual-level consumption, transportation networks, traffic, population, and Point-of-Interest data aboveinto a single dataset that is suitable for empirical data analysis. The candidate is also expected to carryout preliminary data analytics and contribute to modeling works.The candidate's core responsibilities are:

a) Data collection

b) Dataset compilation and maintenance

c) Data analytics

d) Solving and simulating quantitative spatial models

• Bachelor's or master's degree in economics or finance.
• Previous research experience, especially in urban and regional economics, is highly preferred.
• Solid theoretical background in economics;
• Familiar with theories in urban and regional economics;
• Proficiency in statistical toolbox, preferably Stata;
• Proficiency in numerical analysis in MATLAB, FORTRAN, C, or Julia;
• Experience in working with large datasets;
• (Optional) Experience in working with *nix workstations.
• This position is only expected to commence in March 2025

#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

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 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

Mediacorp is Singapore's largest content creator and national media network, operating a suite of TV channels, radio stations, and multiple digital platforms. Its mission is to engage, entertain, and enrich audiences by harnessing the power of creativity.

We are committed to creating an inclusive and diverse workplace where talent thrives. Our hiring decisions are made based on merit and fit-to-role. If you have a disability or special need which requires accommodation to participate in the recruitment process, please inform us when you submit your online application. We will be happy to support as necessary.

Thank you for your interest and application to this role. Please note that only short-listed candidates will be contacted.

RESPONSIBILITIES

• Conduct material and field research and verify facts before scripting for production.
• Provide advice to producers based on the facts/data gathered.
• Build script draft and sequence for content flow and eventually write good quality Chinese scripts for programme.
• Brainstorm interesting programme concepts and do presentation at pitch sessions.
• Source for talent and assess suitability of role based on requirement of programme.
• Source for location and assess for suitability and cost.

• Minimum a degree in education with 2 years of working experience.
• Passionate about the entertainment industry.
• A strong communicator and has a flair for writing.
• Possess good research skills.
• Good command of Chinese language - both written and spoken as you will be attached to the Chinese Entertainment production.
• Effectively bilingual in Mandarin and English to communicate with various departments and organisations.

COMPANY DESCRIPTION

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 more than four decades of experience and expertise, NTUC Health is among the largest senior day care, nursing home and home personal care providers in Singapore. It also offers other services for seniors such as an active ageing hub, senior activity centres, community support for vulnerable seniors, and a sheltered / senior group home. In addition, it runs a chain of dental clinics, and a family medicine clinic

RESPONSIBILITIES

The Staff Nurse plays a central role in providing nursing care to residents in the nursing home. The SN will be responsible for supervision, training and development of subordinates and actively participate in quality improvement efforts. Other duties include preparation and assisting in clinical tasks, documentation, records co-ordination and updates on changes in residents' conditions and needs.

• Utilise clinical judgement, critical thinking and evidence based care (research based) in the delivery of resident care
• Provide clinical guidance and direction to junior nurses and care staff
• Work collaboratively with other healthcare professionals to deliver coordinated and holistic care
• Coordinate continuity of care throughout hospitalisation and transition to home or the community
• Act as a liaison between residents, caregivers and multidisciplinary healthcare professionals and communicate effectively on the care plan and discharge planning
• Establish and maintain effective communication with all other health professionals, support staff, families and care providers
• Perform clinical procedures as specified in SNB's generic skill list for RNs
• Participate in clinical quality improvement
• Perform resident and caregiver training
• Lead care team in emergency situations. Where necessary, take appropriate nursing actions to mitigate the emergency and escalate to acute care setting
• Contribute In-service Education program
• Precept new SN and student nurses and supervise their learning on provision of holistic care
• Assist Nurse Managers with inventories and management of supplies, equipment and furniture
• Perform any other duties as assigned

• Diploma / Degree in Nursing or equivalent
• Valid Practising Certificate issued by the SNB
• Valid BCLS + AED certification
• Preferably Registered Nurse with two- three years in Nursing home / Geriatric ward

Location :

1. Jurong West Nursing Home
2. Jurong Spring Nursing Home
3. Chai Chee Nursing Home
4. Geylang East Nursing Home
5. Tampines Nursing Home
6. Pasir Ris Nursing Home

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

• Lead research design, delivery and support
• Assist to guide and mentor junior research associates and research assistants - including reviewing drafts, and keeping open channel of communication for discussions
• Conduct research on a range of dispute resolution topics, including mediation, arbitration, investor-state dispute settlement, and produce quality articles to be published in industry journals, blogs, or academic journals
• Speak at and attend events to profile SIDRA's research and present on topics in dispute resolution
• Key liaison between SIDRA and other dispute resolution institutions, training partners, Government officials, experts, NGOs and other organisations
• Oversee the planning and management for SIDRA's events during the annual Singapore Convention Week, and other SIDRA events on an ad hoc basis
• Assist with editing, formatting, cite-checking and revision of SIDRA research products
• Prepare and manage the Steering Committee meetings, including overall management of research proposals
• Prepare SIDRA's reports to the University, Government officials, and to other stakeholders
• Work with Centre Manager to draw up budgets, execute vendor agreements, and ensure standard operating procedure compliance
• Administer the accreditation for SIDRA's training programmes with the Singapore International Mediation Institute and International Mediation Institute, and other training progarmmes as necessary, and publicise training courses
• Maintaining SIDRA's online presence and social media by curating posts on SIDRA's events and trips
• Assist the Director and Deputy Director on general matters relating to stakeholder management and research staff
• Supervise student research assistants

• Post-doctorate/post-graduate degree {LLM or JD)/degree in law, desirable but not strictly essential

#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 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 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 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