Our client is in Scientific and Medical industry. Due to their current expansion plan, they are looking for a Service Engineer to join their Engineering Team, in hopes of developing the current high performing team. They are located in the Central area – easily accessible.

Duties of Regulatory Compliance Specialist:

• Ensure compliance with regulatory standards for medical devices and biotechnology products, preparing and submitting necessary documentation.
• Assist in product registration, renewal, and change submissions, liaising with regulatory agencies and suppliers.
• Develop regulatory strategies and provide guidance during product development for timely market access.
• Maintain accurate regulatory documentation and records for submissions and approvals.
• Support Quality Assurance to ensure regulatory compliance and participate in audits when needed.
• Collaborate with internal teams to integrate regulatory requirements into product launches and provide regulatory training.
• Identify regulatory risks and develop mitigation strategies for product marketing and commercialization.
• Monitor post-market safety data, reporting adverse events as required by authorities.

Requirements:

• Degree in Life Science or related field
• Relevant experience

Interested candidates who wish to apply for the advertised position, please click APPLY NOW or email an updated copy of your resume/cv.

We regret that only shortlisted candidate will be notified

• Email Address: [email protected]
• EA License No: 19C9682
• EA Personnel No: R2199158
• EA Personnel Name: Soo Wei De

Join the Team at Matt's Education!

About Us

Founded in 2011, Matt’s Education is a vibrant enrichment centre located in the heart of the West, specializing in engaging English, Maths, and Science classes. We believe that childhood should be filled with joy while students pursue academic excellence. Our unique approach has earned us features in prominent publications like The Straits Times, CNA, and Lianhe Zaobao. With two outlets in Jurong West and Clementi, we also partner with MOE schools to deliver public speaking training and exciting English-related projects throughout the year. Discover more about our innovative approach at www.mattseducation.com.

About the Role

Are you passionate about shaping young minds? Ready to embark on a rewarding career in private education? Join our supportive team at Matt’s Education, where you’ll receive comprehensive mentorship to help you thrive as an educator.

We are on the lookout for a dynamic and dedicated individual to teach Science and Mathematics at both primary and secondary levels. In this full-time role, you’ll not only lead engaging classes but also collaborate on curriculum and program development, making a meaningful impact on our students' academic journeys. Recent graduates eager to start their careers in education are warmly encouraged to apply!

Note: This position is open only to Singapore citizens and permanent residents.

Key Responsibilities

Conduct group tuition classes in Maths and Science for primary and secondary students

Collaborate closely with the founders to innovate and develop our curriculum

Partner with the team to design and implement enriching programs in local schools

Qualifications

A minimum of a bachelor’s degree

Strong command of the English language

Excellent interpersonal and communication skills

Comfort and enthusiasm for teaching in a classroom setting

Availability to work 4 weekdays and 1 weekend on a permanent basis

Part time positions available as well

Proficiency in Microsoft Office

What We Offer

A competitive remuneration package tailored to your experience and qualifications

A warm, family-like environment that fosters personal and professional growth, giving you the freedom to bring your ideas to life

The chance to be part of a respected educational institution that helps students rediscover their love for learning

Join us in making a difference in the lives of our students! If you’re ready to inspire and empower the next generation, we’d love to hear from you.

Title : Science Tuition Teacher
Location: Hougang

Working days & Time: 3 weekdays (3PM-9PM) + Weekend (Both Sat & Sun ; 9AM-6PM)
Salary: $3000 - $3500

Job Responsible:

• Prepare and conduct lessons: Tailor lessons in accordance with our curriculum with a holistic understanding of your student’s learning needs to meet the unique needs and learning styles of individual students.
• Curriculum Development: Work with our curriculum development team to create useful learning materials.
• Motivation: Inspire and motivate students to excel academically and develop a love for learning. Be a role model for your students. Give appropriate advice to students to improve students’ holistic development.
• Communication: Monitor your class progression and provide honest and helpful feedback with suggestions to parents on a regular basis to improve the student’s conduct or academic performance.

Administrative:

• Prepare lesson plans and teaching materials
• Check with students on their exam dates, record students’ test results, evaluate students’ test papers
• Conduct lessons and tutoring sessions.
• Assess and evaluate student performance(Mark papers).Provide feedback to students and parents. (Call parents and update class group chats - teacher’s personal contact would be added)
• Maintain a conducive and disciplined learning environment.
• Stay updated with the latest teaching methods and curriculum changes.
• Assist in curriculum development and improvement.
• Take attendance and arrange makeup lessons for absentees.

Requirement:

• Teaching certification or relevant teaching experience with Singapore MOE syllabus.
• Strong knowledge and passion for the subject(s) you teach.
• Primary post – Min. 'A' level or Diploma
• Secondary post – Min. Bachelor degree

✅The Supreme HR Advisory Pte Ltd EA No: 14c7279

✅SAMUEL SIAW Reg No: R24124745

Service Crew

Location: Beach Rd

Working days : 6 days ; 7:00am -3:00pm (based on schedule)

Salary : $ 2,000 - $ 2,300

Responsibilities & Duties :

• Serving food and beverages to customers.
• Taking customer orders ( Using Ipad ) and delivering food and beverages.
• Collect used dishes from tables and clean tables.
• General daily cleaning of dining area.
• Warm greeting of customer with big smile.
• Collection of Cash / CreditCard Payment.
• Check and ensure have sufficient stock ( ie : butter,bread,milk and etc )
• Other duties assigned by the management from time to time.

Tan Meng Liang Reg No: R23115923

The Supreme HR Advisory Pte Ltd EA No: 14C7279

Service Crew

Location: Beach Rd

Working days : 6 days ; 7:00am -3:00pm (based on schedule)

Salary : $ 2,000 - $ 2,300

Responsibilities & Duties :

• Serving food and beverages to customers.
• Taking customer orders ( Using Ipad ) and delivering food and beverages.
• Collect used dishes from tables and clean tables.
• General daily cleaning of dining area.
• Warm greeting of customer with big smile.
• Collection of Cash / CreditCard Payment.
• Check and ensure have sufficient stock ( ie : butter,bread,milk and etc )
• Other duties assigned by the management from time to time.

Tan Meng Liang Reg No: R23115923

The Supreme HR Advisory Pte Ltd EA No: 14C7279

Interested applicants are invited to apply directly at the NUS Career Portal

Your application will be processed only if you apply via NUS Career Portal

We regret that only shortlisted candidates will be notified.

Job Description

The Centre for Computational Social Science and Humanities (CSSH) is seeking a Research Associate to join our collaborative team and advance computational research in the social sciences and humanities.

Position Overview

As Research Associate, you will design and implement high-quality, sustainable software to drive research in computational social science and humanities. You will collaborate with CSSH management, faculty and external partners to translate research priorities into software solutions, including data analysis, model implementation, and tool development. Your expertise in computational methods and machine learning workflows will be crucial in advising scholars and contributing to research outputs. This full-time position is based in Singapore.

Key Responsibilities

• Develop, test, and maintain research software using best practices in software engineering
• Implement and optimize machine learning workflows for social science and humanities research
• Manage multiple projects and priorities effectively
• Contribute to research articles and presentations
• Help train graduate students and run master classes
• Promote CSSH’s work within the broader computational social science and digital humanities communities

The successful candidate will play a crucial role in advancing computational research in the social sciences and humanities at the National University of Singapore. We seek an individual who can bridge technical expertise with domain-specific knowledge related to the key themes of the centre to drive innovative research outcomes. The themes are: 1) computational models of social behaviour; 2) digital platforms and ecosystems; 3) health and social care; 4) social media, networks, and interactions; 5) texts, heritage and culture.

Only shortlisted candidates will be notified.

Job Requirements

• Bachelor's or Master's degree in Computer Science, Data Science, Computational Social Science, Digital Humanities, or a related field
• Strong programming skills and experience, particularly in Python, with expertise in machine learning libraries and frameworks
• Demonstrated experience in implementing and optimizing machine learning workflows
• Experience with data gathering, processing, and analysis from diverse sources and formats
• Strong project management skills and ability to handle multiple priorities
• Excellent communication skills to collaborate with researchers across disciplines

Preferred

• Experience in computational social science or digital humanities research
• Experience contributing to open-source projects

Interested applicants are invited to apply directly at the NUS Career Portal

Your application will be processed only if you apply via NUS Career Portal

We regret that only shortlisted candidates will be notified.

Job Description

The Faculty of Arts and Social Sciences (FASS) at the National University of Singapore (NUS), invites applications for the position of Research Assistant/Associate. The successful applicant is expected to commence duties at NUS in January 2024, or as soon as possible thereafter.

This position is connected to a research project titled, “Relocation, Social Networks and Housing Aspirations in Ageing Public Housing”. The research focuses on homeowners’ decision making towards housing relocation. The research team will primarily use ethnographic and interview methods in the research, combining these with a small-scale survey, GPS tracking and GIS visualisations for analyses.

The project team consists of Principal Investigator (PI) Professor Elaine Ho (Department of Geography), Co-PI Associate Professor Vincent Chua (Department of Sociology and Anthropology) and Collaborator A/P Feng Chen-Chieh (Department of Geography).

Scope and responsibilities

The RA will provide administrative support to the Principal Investigator for large grant management and liaise with the project team members or external parties on such matters. There will be opportunities to be involved in empirical research and/or data analyses that are central to the project.

Qualifications

Applicants are expected to hold at least a Second Class Honours (Upper Division) or an equivalent honours degree, or a Master’s degree in the Social Sciences.

Competencies

• Willingness to learn about and work with researchers using mixed methods; prior experience of working with mixed methods will be an advantage
• Excellent writing and strong communication skills in English, including an ability to present research in both academic and non-academic venues
• Curiosity and passion to explore new concepts, methods and technologies, and capable of identifying and quickly learning the most suitable tools for the research on the go
• A good team player and the ability to multitask effectively
• Excellent organization and interpersonal skills
• Basic computer knowledge and core Microsoft Office skills
• Prior experience in large grant management will be an advantage
• Skills in using qualitative analysis software will be an advantage
• Skills in one or more of the following languages for carrying out research interviews is required if the participant does not use English: Mandarin and/or Chinese dialects used in Singapore (e.g. Hokkien, Cantonese, Teochew or Hainanese); Malay or Tamil.

Application

Informal enquiries may be made to Professor Elaine Ho ([email protected]). Please include a covering letter, full CV and 3 letters of recommendation in your application.

This is a 6 months contract which can be extended according to performance.

Shortlisted applicants may be called for interview, either in person or by Zoom, as appropriate.

Application deadline: 2 weeks from the time of advertisement.

UWCSEA Dover has a vacancy for a full time K-12 Research and Primary School Teacher Librarian from August 2025. This is an exciting opportunity for an innovative and passionate educator as Dover reimagines the place of our library in mission-aligned learning at UWCSEA.

The successful candidate will be a highly resourceful and forward-thinking collaborator, passionate about delivering exciting learning and a love for reading. The post holder will work directly with campus leadership and support staff, understanding their curriculum needs, proactively helping with the development of resources and working directly with student learners to develop literacy and information literacy skills.

Main Responsibilities

Vision, Strategy, and Culture

• Set a positive primary school library culture aligned with UWCSEA’s Mission, Values, and wellbeing principles.
• Audit library operations and work with the Head of Libraries to develop a strategic plan that positions Dover Libraries at the center of campus learning.
• Collaborate with curriculum leaders across the K-12 curriculum to ensure that students across all grade levels develop critical research competencies.

Resources

• Plan acquisitions and promotion of physical and digital resources, ensuring alignment with curriculum needs and student interests.
• Audit and develop the primary school library collections.
• With the Head of Libraries, ensure K-12 databases and digital resources meet the evolving needs of the learning community.
• Create and maintain online research guides, tutorials, and other digital resources to support literacy, research and inquiry-based learning.

Teaching and Learning

• Enhance inquiry-based learning and research skills by regularly meeting with and supporting grade-level or departmental leaders to design and deliver programs that develop students' information literacy, research skills, and digital fluency.
• Collaborate with the Head of Digital Literacy to embed the K-12 Information Literacy Curriculum.
• Support weekly class visits (read alouds, book talks) so that primary school students can check out books and learn about library resources.
• Plan author visits, workshops, book clubs, and other learning events for the primary school.
• Offer library orientation programs and readers’ advisory services to staff and students as needed.

Community Building and Networking

• Engage with parents through literacy and learning workshops.
• Develop relationships with other librarians, both locally and internationally, and participate in professional networks to share ideas and practices.

Library Supervision

• Oversee the daily operations of the primary library, ensuring a welcoming, student-centered environment. Offer support and guidance as needed to TAs on duty.
• Monitor library usage and work with the library team to maintain an appropriate tone and culture of use.

Professional Learning

• Model continuous professional growth and offer opportunities for library staff to engage in professional development.
• Mentor within the Professional Learning Programme (PLP) to support goals focused on research and information literacy.
• Support the development of physical and digital resources for staff professional learning, and deliver in-house training where needed.
• Support professional book club events like Books and Burritos.

Expectations and Standards

• Follow the UWCSEA Professional Code of Conduct and Safeguarding Code of Conduct.
• Teach in line with the UWCSEA Teacher Standards

Person Specifications

• Master’s degree in Library Science or Information Management, or a related degree and a recognized teaching qualification are essential.
• 3+ years of library experience.
• Proven experience in K-12 digital literacy would be a distinct advantage.
• Experience building a reading culture.
• High levels of intercultural competence, flexibility, and a collaborative style, with experience working in inclusive and diverse teams.
• Excitement and enthusiasm for lifelong learning, design thinking, and providing quality feedback on learning.
• Experience with tools such as Google Apps for Education, Follett Destiny, and other learning technologies.
• Willing and eager to participate in the five key elements of a UWCSEA education: Academics; Activities; Outdoor Education; Personal and Social Education; and Service.
• The College expects a significant weekly contribution to Activities and/or Service.
• The College expects that teachers will participate enthusiastically in the curricular Outdoor Education experiences that are relevant to their students and will also occasionally volunteer for holiday Outdoor Education trips.
• Our teachers actively promote the College’s Mission, Educational Goal, Values and Learning Principles through their enthusiastic and full participation in College life and their supportive engagement with students, colleagues and parents.
• A commitment to diversity and inclusion is essential alongside a willingness to adapt and develop pedagogy to meet the needs of our learners.

Applications

The UWC Mission is to make education a force to unite people, nations and culture for peace and a sustainable future. We are committed to creating a community in which all members feel safe and secure, and know that their authentic selves and individual differences are accepted with respect and care. At UWCSEA, we acknowledge that diversity, equity, inclusion and justice (DEIJ) is an ongoing and evolving process and strive to create and sustain a sense of belonging for all members of our community, past, present and future. All qualified applicants, including those who identify as a part of marginalized group(s) and individuals with (dis)abilities are all encouraged to apply. Our school is committed to safeguarding and promoting the welfare of all the students in our care and expects all applicants to share this commitment. We follow safe recruitment practices and all appointments are subject to interview, satisfactory references, identity and criminal record checks.

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

Title : English langauge, Maths or Science Tuition Teacher
Location: Hougang

Working days & Time: 3 weekdays (3PM-9PM) + Weekend (Both Sat & Sun ; 9AM-6PM)
Salary: $3000 - $3500

Job Responsible:

• Prepare and conduct lessons: Tailor lessons in accordance with our curriculum with a holistic understanding of your student’s learning needs to meet the unique needs and learning styles of individual students.
• Curriculum Development: Work with our curriculum development team to create useful learning materials.
• Motivation: Inspire and motivate students to excel academically and develop a love for learning. Be a role model for your students. Give appropriate advice to students to improve students’ holistic development.
• Communication: Monitor your class progression and provide honest and helpful feedback with suggestions to parents on a regular basis to improve the student’s conduct or academic performance.

Administrative:

• Prepare lesson plans and teaching materials
• Check with students on their exam dates, record students’ test results, evaluate students’ test papers
• Conduct lessons and tutoring sessions.
• Assess and evaluate student performance(Mark papers).Provide feedback to students and parents. (Call parents and update class group chats - teacher’s personal contact would be added)
• Maintain a conducive and disciplined learning environment.
• Stay updated with the latest teaching methods and curriculum changes.
• Assist in curriculum development and improvement.
• Take attendance and arrange makeup lessons for absentees.

Requirement:

• Teaching certification or relevant teaching experience with Singapore MOE syllabus.
• Strong knowledge and passion for the subject(s) you teach.
• Primary post – Min. 'A' level or Diploma
• Secondary post – Min. Bachelor degree

Chew Xing Shan Reg No: R22107044

The Supreme HR Advisory Pte Ltd EA No: 14C7279

WhatsApp: +65 83592812 [Shannon]

Role:

This is a full-time, onsite, NFS Lab Assistant Role in MOE Secondary School. If you are selected,

You will work closely with the NFS Teachers & supervisor, HODs in an MOE Secondary school (Nearest MRT : Ang Mo Kio) in the day-to-day activities.

Company provides endless opportunities for career progression and better work - life balance.

Responsibilities:

• Clean and tidy 2 NFS kitchens, food preparation and needlework rooms.
• Prepare ingredients and equipment for teachers to conduct Food & Nutrition (F&N) activities and practical work in the NFS kitchens daily.
• Prepare students’ ingredients and materials before lesson.
• Assist in checking and storing of goods.
• Assist in stock taking of equipment in the NFS kitchens, food preparation and needlework rooms.
• Assist to ensure safety in the kitchen eg switching off of gas valves, safe keeping of sharp objects such as knives.
• Assist in ensuring the kitchen is ready for N and O levels National examinations.
• Assist in doing major spring cleaning of 2 NFS kitchens, food preparation and needlework rooms during the June and December school holidays.
• Any ad hoc duties assigned as and when required based on the needs of the school.

Job Requirements:

1. Primary school education

2. Preferably 3 years working experience in the related field

3. Completed ‘Workplace Safety and Health Practices

Implementation’ (WSH Level 1)

We regret to inform that only shortlisted candidates will be notified. Thank you for applying.

EA License No.: 23S1986

EA Personnel No.: R23118941 (Gandhi Ponmathi)

Summary:

Contract Period: From 1 January 2025 to 31 December 2025.

Working hours:

• Mondays to Thursdays: 7:00am to 4:00pm, inclusive of 30mins lunch break

• Fridays: 7:00am to 3:30pm, inclusive of 30mins lunch break

• Service not required on Saturdays, Sundays and gazetted public holidays unless required for school events.

Location: MOE Secondary School (Nearest MRT: Ang Mo Kio)

Job Description – Science Lab Support

Role:

This is a full-time, onsite, Science Lab Support Role in MOE Primary School. If you are selected,

You will work closely with HOD/LH-Science and/or Admin Manager in an MOE Primary School (nearest MRT- Pioneer &Lakeside) in the day-to-day activities.

Company provides endless opportunities for career progression and better work - life balance.

Responsibilities:

• Provide teaching and learning support to teachers, for example, preparation of resources / materials for science laboratory activities and enrichment programme.

• Label and keep records of existing and new Science teaching and learning materials and lab resources such as teachers’ desk copies, reference books, lab apparatus and chemicals etc.

· Maintain loan records of Science Resources.

• Pack and organise the resources in the Science Rooms. Ensure that the Science rooms are clean and conducive for lessons.

• Ensure lab equipment, materials and specimens are in good working conditions. Conduct stock-take at least twice a year.

Maintain a stock book and breakage record to initiate ordering of replacements where necessary.

• Ensure proper disposal of waste materials such as sharp waste objects and chemicals.

• Ensure safety of pupils in the Science rooms. Report any incident to Science HOD/ Level Head.

Maintain a laboratory incident log book.

• Check that first aid box is updated, safety devices in the laboratory, such as emergency eye-washers, showers and fire extinguishers are working.

• Provide administrative / logistical support for Science competitions, assessments and programmes collation of survey results and distribution of Science materials to pupils etc.

• Assist in carrying out safety briefings such as Laboratory Safety, equipment awareness (e.g. Microscopes).

• Any other duties assigned by the School

• Shortlisted candidates may be required to attend an interview

Job Requirements:

• Diploma in Science or its equivalent

• At least one year experience in assisting HOD-Science in the execution of daily Science Laboratory Operational and Administrative duties.

• At least one year experience of providing support for Science programmes; STEM & Sustainability projects and Laboratorybased lessons in schools.

• Experience in creating digital resources such as presentations and videos according to Science Experiential Learning Experiences using powerpoint.

• Proficient in preparation and maintenance of Laboratory equipment.

• Fluent in written and spoken English.

• Good interpersonal, communication, planning and analytical skills.

• Has experience working with primary school students in school settings.

• Able to plan and work both independently and as part of a team

• Certified with standard first aid is not necessary but will be an advantage

Summary:

Contract Period: From 30 December 2024 to 29 December 2025.

Working Hours:

• Mondays to Thursdays: 7:30am to 5:00pm, inclusive of 1.0 hour

lunch break

• Fridays: 7:30am to 4:30pm, inclusive of 1.0 hour lunch break

• Service not required on Saturdays, Sundays and gazetted public

holidays

Location: Pioneer MRT & Lakeside

Monday - Friday

830am - 6pm

Location: Outram

Responsibilities

• Coordinate with technical team members in updating work progress
• Assist Technical Director in supervising the technical team members and ensure the guidelines are met
• Follow up and update technical documents such as Team KPI reports, attendance tracking, training arrangement and record updates, team org charts, etc.
• Assist in calendar support, team meeting arrangement, record & distribution of meeting minutes
• Assist in development and distribution of job status reports
• Assist in project time tracking and costing reports when necessary
• Facilitate all project logistics and facility needs
• Purchase of PPE items and wish list items through HR / Procurement
• Effectively handle and manage customers’ feedback and complaints
• Responsible to upkeep the service level to ensure service excellence delivery to both internal and external customers and partners
• Other duties assigned by Technical Director

Requirements

• Min. 1 year of related experience
• Min. ITE or Diploma
• Strong Microsoft Excel report, word and PPT skills
• Possess good written and verbal communication, presentation skills
• Possess initiative and ability to respond quickly to various situations
• Possess ability to collaborate and work as a team
• Familiar with Sales Force system will be an advantage
• Able to work in fast paced environment
• Meticulous in work

Devon Yang Yue Teng

EA License No: 24C2352

Reg No: R24123723

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

A*STAR Infectious Diseases Labs (A*STAR ID Labs) is seeking for a Principal Scientist to join us in our mission to be a leading centre of infectious diseases research. A*STAR ID Labs aims to develop a cohesive A*STAR response to drive and deliver translational infectious diseases research to better health and economic outcomes.

Job Description

• Leads conceptual and technical integration of various research studies to provide leading edge solutions in antimicrobial resistance (AMR) research and development
• Conceptualize and create new technologies, patents and publications
• Review and manage operating budget of grants and team
• Establish collaborations, develop scientific proposals and ensure timely achievement of project milestones
• Manage a team and provide scientific and career mentorship to researchers and students

Job Requirements

• PhD in Biomedical Sciences, Life Sciences, Microbiology, Molecular Biology, Infectious Diseases, Immunology or related field as above
• 4 years of post-PhD relevant experience
• Strong background in Microbiology, Immunology, Molecular Biology, Biochemistry, Genetics and Genomics
• Strong publication record
• Highly motivated and ability to develop strong research ideas to secure grant and funding
• Strong analytical, technical and problem-solving skills
• Team player with good interpersonal skills
• Good spoken and written communication skills

Host Pathogen Interactions in A*STAR Infectious Diseases Labs (A*STAR ID Labs) is seeking a Postdoctoral Researcher to join the lab.

We are seeking a talented and collaborative post-doctoral researcher to work in the broad scope of host-pathogen interactions and infectious diseases. The lab has various funded projects on the comparison of host-alphavirus interactions at the immune response level in vivo in animal models through a novel viral-centric and multiOmic approach. Other projects include immune response evaluation of vaccine adjuvant candidates, development of cell-based reporter systems of viral infections to facilitate and accelerate antiviral studies, as well as development of novel vaccine strategies.

The candidate will be expected to work on funded projects as well as develop novel research projects in the scope of the lab research interests to be able to apply to the various early career development schemes both at an internal and external national level. Virus studied in the lab are positive sense RNA viruses as well as some negative sense RNA viruses. Other common techniques and tools in the lab include protein-protein/RNA interactions, microscopy, functional genomics, viral reverse genetics, CRISPR Cas9 gene editing. Animals models available in the lab include mice and zebrafish.

Throughout the project, close collaborative work within A*STAR ID Labs as well as other institutes throughout Singapore and overseas will be used to leverage expertise for high impact studies.

Job Requirements

• PhD in Biomedical Sciences, Life Sciences, Immunology, Virology or related field
• At least 2 to 3 years of relevant experience (immunology or related field) is a plus.
• No virology experience necessary. Prior bioinformatic experience is a plus.
• Highly motivated and able to work independently.
• Team player with good interpersonal skills.
• Good spoken and written communication skills.
• Willing to learn to work in a BSL3 facility if necessary
• Must be comfortable to work with small animal models.

The above eligibility criteria are not exhaustive. A*STAR may include additional selection criteria based on its prevailing recruitment policies. These policies may be amended from time to time without notice. We regret that only shortlisted candidates will be notified.

The A*STAR Institute for Human Development and Potential (A*STAR IHDP) focuses on research that aims to improve and impact the health and well-being of Singaporeans across the life course.

Job Summary:

We are seeking a motivated and detail-oriented Manager to join our dynamic team. This position is ideal for individuals looking to develop their skills in business development, contract management, strategic partnerships, and project management.

The successful candidate will assist in the administration of collaboration agreements and support various Project Management and Technical & Business Development initiatives.

Key Responsibilities:

Contract Management

• Draft, negotiate and finalise collaboration agreements, non-disclosure agreements, procurement agreements, material transfer agreement, data access agreement and service agreements.
• Maintain an organized system for tracking of contract status and renewal and provide reports to internal and external stakeholders.
• Facilitate customer account creation for new industry and collaboration partners
• Coordinate filing of technology disclosures and patents
• Assist in preparing materials and organizing events and workshops related to business development initiatives.
• Support and facilitate the training of scientific staff in using standard agreement templates

Project Management

• Ensure timely and proper project documentation in the Project Management System
• Work with project managers to track the progress of project deliverables
• Track contract agreement billings to ensure timely billing by project teams
• Facilitate project management operations, and develop and implement procedures to improve project lifecycle management.
• Any related administrative or ad hoc duties as assigned by the Reporting Officer(s)

Qualifications:

• Bachelor degree in Business Administration, Life Sciences, or a related field
• 2 to 3 years of working experience, preferably in a research or academic setting
• Excellent written and verbal communication skills
• Ability to work collaboratively in a team environment
• Detail-oriented with strong organizational abilities
• Positive learning attitude with good interpersonal skills
• Proficient in Microsoft Office Suite (Word, Excel, PowerPoint)
• Strong interest in business development and project management

Work Location: AMK

Work hour: Monday to Friday : 7.00am to 4.00pm

Contract Period 1 yr start 1 jan 2025

Job Resposibilities:

1. Clean and tidy 2 NFS kitchens, food preparation and needlework rooms.

2. Prepare ingredients and equipment for teachers to conduct Food & Nutrition (F&N) activities and practical work in the NFS kitchens daily.

3. Prepare students’ ingredients and materials before lesson.

4. Assist in checking and storing of goods.

5. Assist in stock taking of equipment in the NFS kitchens, food preparation and needlework rooms.

6. Assist to ensure safety in the kitchen eg switching off of gas valves, safe keeping of sharp objects such as knives.

7. Assist in ensuring the kitchen is ready for N and O levels National examinations.

8. Assist in doing major spring cleaning of 2 NFS kitchens, food preparation and needlework rooms during the June and December school holidays.

9. Any ad hoc duties assigned as and when required based on the needs of the school.

JOb Requirement

- 3 yrs work experience in related field

- have ‘Workplace Safety and Health Practices Implementation’ (WSH Level 1)

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

Job Purpose

• A clinical research coordinator will assist Principal Investigator or Co-investigators to monitor the administration and progress of a clinical trial.

Duties and Responsibilities

Primary Duties and Responsibilities

Clinical Trial

• Oversee overall clinical operations related to the conduct of the clinical trials.
• To adhere to compliance with Research Governance, Good Clinical Practice, Data Protection and Ethical Requirements.
• To ensure the study and study procedures are conducted in accordance with the study protocol
• To participate in patient recruitment.
• To ensure study entry criteria are fulfilled.
• To ensure informed consent procedure is followed.
• To coordinate patient visits for future tests and procedures.
• To schedule visit according to study protocol.
• To organize and participate in site initiation visit.
• To work in collaboration with study team to ensure trial preparedness.
• To monitor patients throughout the study to ensure study drugs are given according to protocol requirement.
• To arrange for clinical and laboratory investigations to be carried out according to protocol.
• Ensure results of investigations and X-ray films are collected.
• Maintains records of additional investigations for invoicing purposes.
• To collects and collates research data, ensuring its accuracy and completeness.
• Ensure timely and accurate transcription of information on source documents, paper case report forms (CRFs), or electronic CRFs.
• To label and ensure biological specimens are delivered in the correct conditions as specified in the trial protocol.
• To assist investigator(s) in adverse events / serious adverse events reporting.
• To maintain confidentiality on patient data.
• To work with pharmacy to maintain drug accountability logs.
• To raise payment request forms for billing to companies
• Creation and maintenance of all trial files, including the trial master file, and oversight of site files.

Secondary Duties and Responsibilities

Recruitment Plan

• To work with company in developing and implementing recruitment plan to ensure long-term recruitment target is met.

Job Specification/Requirements

• Life science diploma/ degree or nursing degree is preferred. The relevant degree subject area is life science or biomedical science.
• Ability to work both independently and in a team.
• Good communication skills.
• Good patient interaction skills.
• Be flexible and self-motivated.
• Ability to write clearly
• Possess excellent organisational skills.
• Enjoy paying attention to detail.
• Computer literacy.
• Ability to work flexibly with occasional weekends and late nights.