QA Assistant

• 5Days (9am to 6pm) + Alt Half Saturday (9am to 1pm)
• Near Boon Lay
• Basic Salary: $2500 to $3000

Requirement

• Candidate must possess at least a Diploma, Advanced/Higher/Graduate Diploma / Degree, Food & Beverage Services Management, Food Technology/Nutrition/Dietetics or equivalent.
• At least 1 year(s) of working experience in the related field is required
• Relevant experience in Food & Beverage industry is an advantage.

Production and Supply Chain Support

• Conduct routine and daily checks on food safety, hygiene, quality, process and general guidelines of Halal requirements in production, supply chain and logistics
• Prepare and maintain food safety, hygiene, quality and process
• Perform daily periodic site walk of whole facility
• Conduct retention samples checks
• Coordinate with microbiological laboratory for sample collection and lab reports.
• Follow-up with Procurement on investigation and corrective actions on raw material complaint / customer feedback.

Regulatory Support

• Assist in internal audit.
• Support external customer and regulatory audits i.e. FSSC 22000, 3rd party supplier assessment.

Import and Export Management

• Prepare and liaise with warehouse team on export procedures e.g. placement of temperature data logger device.

Vendor Management

• Perform basic troubleshoot and liaise with external vendors for routine servicing and issue follow up e.g. pest control, cleaning chemicals, weighing scale, metal detector, microbiological laboratory.

Customer Management

• Provide support to customers’ request e.g. questionnaire, product specification, shelf-life lab test reports.
• Assist in investigation and follow up with investigation report.

Training

• Preparation of training materials e.g. attendance sheet, assessment.
• Coordination with HODs on training schedule.
• Conduct training

Ad-hoc Duties

• Any other duties assigned by QA manager.

Interested personnel kindly contact WhatsApp: https://wa.me/6582281721 (Marcus)

Tan Meng Liang Reg No: R23115923

The Supreme HR Advisory Pte Ltd EA No: 14C7279

Responsibilities

• Assist pharmacists in dispensing medications.
• Manage inventory by ordering, stocking, and organizing medications.
• Provide customer service, including answering questions and handling insurance claims.
• Perform administrative tasks such as processing prescriptions and maintaining patient records.
• Ensure accuracy in medication dispensing and comply with pharmacy regulations and safety standards

Requirements

• Diploma in Pharmaceutical Science

All qualified applicants, please click “ APPLY NOW”

Kimmy Low Yi Ting (Kim) | CEI Registration Number: R23112122

Recruit Express Pte Ltd Company Reg. No. 199601303W | EA LICENCE Number: 99C4599

WhatsApp: +65 90820021 (Kyler)

Email: [email protected]

Location: Lentor (Shindo Industrial)
Working Day: 5 day work week (include weekend &PH)
Working Hours: 8am to 5.30pm /10.30am -8pm (Shift)
Salary: $1,800-$3,000

Job Description

• Research potential vendors
• Compare and evaluate offers from suppliers
• Track orders and ensure timely delivery
• Review quality of purchased products
• Enter order details (e.g. vendors, quantities, prices) into internal databases
• Maintain updated records of purchased products, delivery information and invoices
• Monitor stock levels and place orders as needed
• Coordinate with warehouse staff to ensure proper storage
• Assist with hamper packaging

Requirement:

• Work experience as a Purchasing Officer, Purchasing Agent or similar role
• Understanding of supply chain procedures

The Supreme HR Advisory Pte. Ltd | 14C7279

Gan Kai Le | R23112683

Job Description:

• Overview : Responsible for planning, organizing, directing, and controlling all aspects of production operations to meet aggressive delivery and quality expectations and attaining optimum utilization of manpower, machinery, and materials.
• Coordination: Develop and implement production plans to meet aggressive delivery schedules while ensuring optimal utilization of resources.
• Quality Assurance: Monitor production processes to maintain stringent quality standards and compliance with regulatory requirements.
• Team Leadership: Lead and motivate production teams to achieve operational excellence, fostering a culture of accountability and continuous improvement.
• Operational Efficiency: Identify opportunities for process optimization, cost reduction, and waste minimization to enhance overall efficiency and profitability.
• Safety and Compliance: Ensure adherence to health, safety, and environmental regulations to create a safe working environment for all employees.
• Reporting and Analysis: Prepare regular reports on production performance, analyzing key metrics to drive informed decision-making and strategic planning.
• Cross-functional Collaboration: Work closely with other departments such as R&D, Quality Assurance, Supply Chain, and Maintenance to resolve issues and optimize production flow.

Requirements:

• Degree holder in Food Science or Food Technology
• 3 to 5 years of working experience in a food / beverage manufacturing environment
• Strong leadership and supervisory skills.

5 Days Office Hours , Central

All qualified applicants, please click “ APPLY NOW”

Kimmy Low Yi Ting (Kim) | CEI Registration Number: R23112122

Recruit Express Pte Ltd Company Reg. No. 199601303W | EA LICENCE Number: 99C4599

Quality Assuarance Assistant

Monday - Friday 9am to 6pm, Alternate Sat 9am to 1pm

Office Location: Chin Bee Crescent (Boon Lay)

Basic: $2500 to $3000

Requirement

• Candidate must possess at least a Diploma, Advanced/Higher/Graduate Diploma / Degree, Food & Beverage Services Management, Food Technology/Nutrition/Dietetics or equivalent.
• At least 1 year(s) of working experience in the related field is required
• Relevant experience in Food & Beverage industry is an advantage.

Production and Supply Chain Support

• Conduct routine and daily checks on food safety, hygiene, quality, process and general guidelines of Halal requirements in production, supply chain and logistics
• Prepare and maintain food safety, hygiene, quality and process
• Perform daily periodic site walk of whole facility
• Conduct retention samples checks
• Coordinate with microbiological laboratory for sample collection and lab reports.
• Follow-up with Procurement on investigation and corrective actions on raw material complaint / customer feedback.

Regulatory Support

• Assist in internal audit.
• Support external customer and regulatory audits i.e. FSSC 22000, 3rd party supplier assessment.

Import and Export Management

• Prepare and liaise with warehouse team on export procedures e.g. placement of temperature data logger device.

Vendor Management

• Perform basic troubleshoot and liaise with external vendors for routine servicing and issue follow up e.g. pest control, cleaning chemicals, weighing scale, metal detector, microbiological laboratory.

Customer Management

• Provide support to customers’ request e.g. questionnaire, product specification, shelf-life lab test reports.
• Assist in investigation and follow up with investigation report.

Training

• Preparation of training materials e.g. attendance sheet, assessment.
• Coordination with HODs on training schedule.
• Conduct training

Ad-hoc Duties

• Any other duties assigned by QA manager.

Interested personnel kindly contact WhatsApp: https://wa.me/6582281721 (Marcus)

Tan Meng Liang Reg No: R23115923

The Supreme HR Advisory Pte Ltd EA No: 14C7279

Our client is an US MNC, one of the largest players in the life-science sector. Due to business needs, they are now recruiting a Logistics Officer to be part of their team for ongoing transformation projects.

This is a 1 Year contract (Extendable / Convertible) role. They are located in Buona Vista – Walking distance from the MRT station.

5 days work week - Monday to Friday (8.30 am to 5.30pm)

Training will be provided (structured training programs)

Duties

• Managing delivery of laboratory supplies from Suppliers and to Customer’s stockrooms and points-of-use
• Perform goods receipt in ERP systems upon receiving of these laboratory supplies
• Be reactive to stock level adjustment and provide feedback whenever stock is low.
• Stock check of inventory supply ensuring products are not expired and at recommended stock level.
• Execute verification, calibration, and preventive maintenance (PMs) using in-house Metrology Standard Operating Procedures (SOPs)
• Coordinate and manage external third-party (3P) vendors for various services such as calibration, PM, qualification, and repairs

Requirements

• Possesses an ITE or a Diploma in Science or related discipline

Interested candidates who wish to apply for the advertised position, please click APPLY NOW

We regret that only shortlisted candidate will be notified.

EA License No: 19C9682

Reg No: R21101676

Ng Zhi Qing Alethea

Job Description:

• Overview : Responsible for planning, organizing, directing, and controlling all aspects of production operations to meet aggressive delivery and quality expectations and attaining optimum utilization of manpower, machinery, and materials.
• Coordination: Develop and implement production plans to meet aggressive delivery schedules while ensuring optimal utilization of resources.
• Quality Assurance: Monitor production processes to maintain stringent quality standards and compliance with regulatory requirements.
• Team Leadership: Lead and motivate production teams to achieve operational excellence, fostering a culture of accountability and continuous improvement.
• Operational Efficiency: Identify opportunities for process optimization, cost reduction, and waste minimization to enhance overall efficiency and profitability.
• Safety and Compliance: Ensure adherence to health, safety, and environmental regulations to create a safe working environment for all employees.
• Reporting and Analysis: Prepare regular reports on production performance, analyzing key metrics to drive informed decision-making and strategic planning.
• Cross-functional Collaboration: Work closely with other departments such as R&D, Quality Assurance, Supply Chain, and Maintenance to resolve issues and optimize production flow.

Requirements:

• Degree holder in Food Science or Food Technology
• 3 to 5 years of working experience in a food / beverage manufacturing environment
• Strong leadership and supervisory skills.

5 Days Office Hours , Central

All qualified applicants, please click “ APPLY NOW”

Kimmy Low Yi Ting (Kim) | CEI Registration Number: R23112122

Recruit Express Pte Ltd Company Reg. No. 199601303W | EA LICENCE Number: 99C4599

Key Responsibilities:

• Support operations in the Singapore Distribution Center.
• Responsible for handling daily warehousing operation to ensure that customer delivery schedules are met to provide customer satisfaction.
• Responsible to close Cycle Count activities in JDE to ensure timely approval cycle count sheet and completion of ABC items count per the cut-off timeline to ensure SOX compliance.
• Coordinate the quarterly destruction activities with stakeholders. Ensure GN29 license availability for the items, create Destruction Order in JDE and generate commercial invoice for permit application. As well as provide Finance with the cost center to cross charge.
• Request for quarterly freight rates quotation from freight vendors.
• Request for ad-hoc freight quotation and arrange for inbound packaging materials shipment.
• Perform detailed freight audit for billing and invoicing.
• Submit monthly data into Freight Analytics Tool.
• Support printer Installation Qualification (IQ) when required.
• Support the execution of supply chain related projects and other incidental duties.

Requirement

• Diploma in Supply Chain/Logistics/Business or related field
• Minimum 2 years’ relevant experience in Supply Chain and Logistics roles

All qualified applicants, please send in your resume NOW to:
Whatsapp: https://wa.me/+6597430026
Email : [email protected]

Kimmy Low Yi Ting (Kim) | CEI Registration Number: R23112122

Recruit Express Pte Ltd Company Reg. No. 199601303W | EA LICENCE Number: 99C4599

The Group:

Morningstar’s products transform our high-quality data, independent research, and technological expertise into well-designed tools that delight our clients. The product management, product development, and service teams collaborate with our Customer Success group to help provide clients with relevant products and bundled solutions.

The Role:

Morningstar is looking for an experienced professional to join our Sales and Services team. The Regional Operations Director shall work to define processes and operational excellence for the CSM organization. This role operationalizes our CSM strategy, process, and Success Platform to grow and scale the Success organization. This is a highly visible role within Success, as your interactions will touch key leaders of all CS functions. Working cross functionally with a broad set of business partners, you will use keen business process understanding, appreciation for simplicity and quality, critical thinking, and a bit of elbow grease to craft holistic solutions that meet business and technology objectives while furthering Morningstar’s long-range goals. The ideal candidate is an effective communicator, partners across multiple internal teams, can coordinate operations across a global team, and is focused on execution.

Job Responsibilities:

• Success Process: Design and manage the key business processes of Customer Success, including Onboarding, Value Realization/Adoption, and Renewal/Expansion
• Reporting: Monitor the effectiveness of the processes and look for new ways to drive efficiency
• Analysis: Act as the business analyst and process owner for technology implementations while partnering with the Corporate Systems team
• Success Technology: Administer, configure, and maintain Morningstar’s Customer Success platform (e.g. Gainsight, ChurnZero, Catalyst)
• Alignment: Collaborate with Success leaders to drive effective cross-functional and cross-collaboration alignment to deliver Success-wide outcomes (eg Cost to serve coverage models, customer segmentation modeling and scale, Success Bookings pacing and trends)

Qualifications:

• 10+ years operating in a SaaS oriented Customer Success function (as outlined above), sales/business operations
• 7+ years CSM/Sales tool experience - Salesforce required; experience n CS platforms such as Gainsight, ChurnZero, ClientSuccess, Catalyst is highly desirable
• Strategy and Operations experience
• Proven ability to work cross-functionally to understand business requirements and translate them to effective use of applications
• Excellent critical thinking skills with the ability to break down ambiguous problems into concrete, manageable components and think through optimal solutions
• Clear communicator with excellent written, verbal, and listening skills
• Strong project management and task organization skills with the ability to manage projects to a deadline

Are you looking for a part-time position based in Singapore? MMR is seeking a dedicated and detail-oriented Office Coordinator and Project Assistant to join our dynamic team!

MMR Research Worldwide is a global market research agency, specialising in sensory, offering research solutions to support optimisation in products, packaging and all aspects of branding within food, drink and other FMCG and retail sectors.

We are seeking a dedicated and detail-oriented part-time Office Coordinator to join us! This role is integral to maintaining the smooth operations of our office and ensuring that our clients and visitors have a professional working experience with us.

As our Office Coordinator, you will assist with the day-to-day organisation of product logistics and assisting the team with day-to-day project set up / administration to ensure smooth delivery and upkeep in internal system and programs. You may need to support some preparation of food and beverage, or personal care products needed for our in-house sensory trained panel’s assessment for research purposes.  This is an excellent opportunity for someone who is looking for a part-time position, working 20hours per week, 9am to 1pm, Monday to Friday. This individual would be suitable for an individual who is organized, proactive, and enjoys working in a team environment.

Key Responsibilities would include:

Product Preparation / Assistance:

• Preparing samples and materials for in-house panel training and profiling
• Researching, sourcing and managing products for research
• Preparing the working area for panel session, assist panel leader in clearing up afterwards and ensuring that all activities comply with basic food hygiene standards
• Routine upkeeping and maintenance of sensory lab which include the product preparation area, product storage and panel discussion room.

Administrative Support:

• Assist with data entry and maintaining accurate records and databases.
• Assist with basic charting using internal PowerPoint or Excel template (training will be given).
• Support activities including assistance for new starters.
• Source / ship / receive products and clear customs for projects

Office Management:

• Oversee the maintenance of office and basic lab equipment and coordinate with relevant teams.
• Coordinate office events, meetings, and training sessions.
• Ensure compliance with company policies and procedures.
• Greet and assist visitors with a warm and professional demeanour.
• Answer and direct emails or phone calls promptly and accurately.
• Manage incoming and outgoing mail, packages, and deliveries.
• Maintain a tidy and welcoming working area.

• Proven experience as an office administrator, receptionist, or relevant role.
• Fluent English in both written and verbal communication.
• Proficiency in Microsoft Office Suite (Word, Excel, Outlook, and PowerPoint).
• Strong organizational and multitasking abilities.
• Ability to maintain confidentiality and handle sensitive information.
• Ability to lift heavy products.
• Professional attitude and appearance.

• Competitive salary and benefits package.
• A supportive and inclusive work environment.
• Conveniently located office with a positive team culture.
• Hybrid work environment (able to work from home on certain days)

MMR is an Equal Opportunities Employer.

up to 5k

West

• Overseeing monthly closing
• Lead and manage the accounting team effectively
• Reviewing financial data and prepare monthly reports
• Review on Balance Sheet and P&L monthly schedules
• Preparation of quarterly GST submission, and submitting of withholding tax
• Responsible and maintain Fixed Asset Register
• Coordinate and prepare re-invoicing and issuance of invoices and debit/credit notes for intercompany charges across different group affiliates
• Assisting, reviewing, advising and overseeing daily finance operation
• Liaising with internal and external auditors
• Improve on current processes, procedure and internal controls as required
• Collaborate with other departments to ensure smooth financial operations
• Other duties and ad-hoc projects as assigned

How to Apply:
Send your resume to Jocelyn Chan at [email protected] or contact via Telegram @jocelynchan.

Jocelyn Chan | Consultant | Recruit Express Pte Ltd (Healthcare & Lifescience)
Company EA Licence Number: 99C4599
Personnel EA License: R1331820

As a University of Applied Learning, SIT works closely with industry in our research pursuits. Our research staff will have the opportunity to be equipped with applied research skill sets that are relevant to industry demands while working on research projects in SIT.

The primary responsibility of this role is to deliver on an industry innovation research project where you will be part of the research team to develop future-ready display technologies and demo applications for virtual reality, augmented reality and mixed reality.

Key Responsibilities

• Participate in the research project with Principal Investigator (PI), Co-PI and the research team members to ensure all project deliverables are met.
• Undertake these responsibilities in the project:

1. Conduct in-depth AI research towards proof-of-concept (POC) prototypes for future-ready display technologies for VR/AR/MR
2. Develop demonstration applications for the POC prototype

• Carry out Risk Assessment, and ensure compliance with Work, safety and health regulations.
• Coordinate procurement and liaison with vendors/suppliers.
• Work independently, as well as within a team, to ensure proper operation and maintenance of equipment.

Job Requirements

• A PhD degree in computer or related programmes and have relevant competence in the areas of VR/AR/MR and AI.
• 3 or more years of research experience in VR/AR/MR/AI.
• Hands-on experience of developing POC systems to demonstrate research results.
• Knowledge and experience in optics will be advantageous.
• Able to build and maintain strong working relationships with people within and external to the university.
• Self-directed learner who believes in continuous learning and development
• Show strong initiative and take ownership of work.
• Teamwork spirit

The Centre for Outbreak Preparedness (“COP”) at Duke-NUS was launched in June 2022, with a vision to enhance regional health security across Asia - with major focus on supporting low-and-middle income countries across the region. A key pillar of COP’s efforts is to support the Asia Pathogen Genomics Initiative (“Asia PGI”) which was established to enhance genomic pathogen surveillance in 14 countries in Asia, and accelerate the new tool development to enhance outbreak response capacity. This includes novel technologies such as genomic sequencing, diagnostics, new therapeutics and vaccines. Key work-streams include developing guidance to accelerate approval of innovations; supporting industry and national distributors on issues of procurement, supply and distribution; facilitating links with regional global market shaping efforts to improve affordability; and examining policy/regulatory/legal frameworks to address national and regional challenges.

The position of a Research Fellow at COP will contribute to a new initiative – the Asia PGI Strategy Think Tank developed to support countries around key policy, regulatory, procurement and legal issues. Duke-NUS partners include the Centre of Regulatory Excellence at Duke-NUS, the Centre for Global Health Law at NUS, Singapore-based manufacturers and global and regional partners. The focus areas of the Strategy Think Tank include health policy and planning, responding to emerging procurement and regulatory challenges supporting the development of legal frameworks that foster health security.

The key responsibilities for the Research Fellow will include but not limited to:-

• Work with COP, related Duke-NUS and Singapore-based institutions and regional and global partners to ensure work-streams align with existing global/regional initiatives are accomplished in an effective and efficient manner, and adhering to all legislative, policy, procedural and scientific guidelines.
• Be involved with the work-streams of the Strategy Think Tank across 14 countries in Asia.
• Be involved in collaborative efforts with national, regional and global stakeholders and managing timelines for key outputs and deliverables.
• Work with COP to conduct policy reviews, qualitative interviews, syntheses of legal and regulatory frameworks and related content development
• Compile country case-studies and synthesize emerging lessons
• Perform other related duties incidental to the work described herein.

Job Requirements

• Possess a PhD degree and/or post-graduate medical degree with at least 3 years of relevant research experience and training.
• Possess technical understanding of health policy and issues related to global health.
• Have experience in supporting capacity development/training efforts.
• Able to contribute to multiple projects efficiently.
• Able to maintain a professional demeanour and high level of comfort working with high-profile stakeholders from government, industry, academia, institutions, NGOs, multilateral organisations, at local/regional/international levels.
• Posses strong writing and critical thinking skills, as well as good communication and presentation skills.

We regret that 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

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

Assist parents in registration

Take charge of the daily operations of the tuition centre, including keeping the place clean and tidy.

Weekly meetings with tutors and management.

Printing of worksheets and settling attendance and assessment scores.

Communicate with parents on assessment scores.

Handle all communications with parents by taking over the centre’s and branch contact numbers.

Follow up closely with all parents in their enquiries.

Collect payment and issue receipts for tuition fees and trial classes.

Requirements

Cheerful, speedy, and some experience doing customer service

IT skills eg excel and Word

Communicate clearly and make swift responses

Job Description

• Industry/ Organization Type: Food Manufacturing
• Position Title: R&D Executive
• Working Location: Woodlands (Nearest MRT: Admiralty)
• Working Hours: Monday to Friday, 8.30 am – 5.30 pm
• Salary Package: Up to $3,500 + AWS + Bonus
• Duration: Permanent

Key Responsibilities

• Support R&D department in developing and applying raw materials.
• Source new materials for product development from Purchasing Dept.
• Perform quality checks on finished products and incoming materials.
• Maintain lab cleanliness and Pilot Plan organization.
• Assist in maintaining Food Safety Management system and documentation.
• Generate innovative raw material ideas and recipes.
• Modify and enhance existing raw materials.
• Design processes for scaling up from lab to production.
• Record experiments, formulations, and results; generate reports.
• Handle ad hoc tasks assigned by superiors.

APPLY NOW!!!

• At least a Diploma in Food Science, or related discipline.
• Minimum 1 year of related working experience in food manufacturing.
• Candidates must possess experience with machinery such as extruders and spray dryers.

Kindly apply through ANY of the following methods:

• Submit your application by clicking the APPLY button;
• Email your resume to Job(at)anradus.com.sg. Please indicate #65601 on the email subject.

Anradus Application Policy: We value each application and ensure every resume is reviewed. Our process is efficient, typically concluding within 3 working days. If you do not receive communication from us within this timeframe, it's likely that your application has not been shortlisted by our client. In such cases, we recommend continuing your job search to maximize your opportunities.

Anradus Pte Ltd | EA License No. 20C0161 | Adelin Chong | EA Reg No.: R1875641

EARC is a market research and consulting company that provides a comprehensive suite of quantitative, qualitative and neuromarketing research. Using a variety of methods, we gather data that can be translated into actionable and relevant solutions for businesses and organisations.

We are looking to hire a project executive (Market Research) to embark on a fruitful journey for market research. We strive to achieve good rapport as a team and a working culture for everyone's benefit.

If you have a knack for managing things, like keeping things in order and seeing your hard work turn into reality this role could be for you. You would be exposed to various research projects and understand the methodology of projects.

If you have relevant experience in event planning, running marketing campaign or have done research projects before, it will be advantageous.

Roles & Responsibilities:

This position deals mainly with project management towards research-related project works and assists in the setup of the research project, managing key events, and administrative matters relating to monitoring and reporting. You will be exposed to various aspects of a project to pick up relevant skills. Including data management.

Specific Responsibilities:

- To understand office SOP and resources.

- Organize, plan and execute within the timeline of the project. Including data management procedures.

- To assist with the execution of projects in general based on the client's requirements.

- Work closely with the company management and manage tasks.

- Create and maintain necessary project mgmt docs (Excel, charts, schedules, follow-up with the external vendor.)

- Survey methodologies and designing of the project.

- Apply planning and execution plans, and link up the tasks to ensure flow is smooth.

- Be helpful and learn to manage together as a team. Build rapport.

Requirements:

- Able to work independently and to work within the project schedule

- 5 day/week, 10am to 630pm. (WFH arrangements will be in place)

- Good office environment and near MRT. Local SME, bond and work together.

- Training will be provided, good job to gain experience. Learn to have good co-ordinating skills.

About us

Help us make a difference!
At Sunbird Bio, we’re developing protein-based diagnostic tests that provide unprecedented insights to enable earlier, more accurate diagnosis and treatment of Alzheimer’s disease and other neurological disorders. We are addressing the tremendous, growing need for more reliable and sensitive diagnostic tests to accelerate drug development and enhance patient care. We will be able to give patients and clinicians the clarity they need to make confident decisions when they matter most. Join our team to find a purpose-driven career and environment that supports you while you’re working to help others.

Job Specification

Position Overview:

We are seeking a highly skilled and motivated Senior/Principal Scientist to join our dynamic research team. The successful candidate will play a pivotal role in the development of new assays and technology platforms aimed at measuring and characterizing novel biomarkers for neurological diseases and processes.

Key Responsibilities:

· Design and lead the execution of experiments to develop novel assays for the detection of biomarkers associated with neurological diseases and processes.

· Utilize cutting-edge techniques and technologies to optimize assay sensitivity, specificity, and reproducibility.

· Collaborate closely with cross-functional teams to design overarching project goals aligned with company priorities and timelines.

· Source samples and reagents, establish collaborations, and leverage external resources to drive projects forward efficiently.

· Stay abreast of the latest scientific advancements in the field and incorporate relevant technologies and methodologies into research projects.

· Analyze experimental data, interpret results, and present findings to internal teams and external stakeholders through reports, presentations, and publications.

· Provide scientific expertise and guidance to junior team members, fostering a collaborative and innovative research environment.

Requirements (Qualification, Years of Experience, Knowledge & Skills required)

· Ph.D. in Biochemistry, Molecular Biology, Neuroscience, or related field.

· 5+ years of related experience

· Extensive experience in assay development, particularly in the context of biomarkers for neurological diseases or processes.

· Proficiency in a wide range of laboratory techniques, including but not limited to protein analysis, and molecular biology.

· Demonstrated expertise in the development and optimization of novel technology platforms for biomarker detection.

· Experience with bioinformatics and deploying models for complex biological data analysis.

· Strong analytical and problem-solving skills, with the ability to critically evaluate experimental data and troubleshoot technical challenges.

· Proven track record of leading and mentoring scientific teams, fostering a collaborative and innovative research environment.

· Strong analytical and problem-solving skills, with the ability to critically evaluate experimental data and troubleshoot technical challenges.

· Excellent communication and collaboration skills, with the ability to work effectively in a multidisciplinary team environment.

· Demonstrated ability to independently drive projects forward, meet deadlines, and adapt to changing priorities in a fast-paced research environment.

· Track record of scientific innovation demonstrated by publications in peer-reviewed journals and/or patents is highly desirable.

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.

Job Description

A part of the Finance Business Partner team handling daily finance operations for the Research Centre / Institutes within the cluster.

Foster and maintain a regular working relationship within the Institutes, central shared services teams, and other functional partners.

Duties & Responsibilities

• Handle daily financial operations of the Research Institutes within the cluster (including inter-department billing, fixed assets and journal postings).
• Preparation of accurate and timely financial information and reports.
• Prepare grant claim for timely submission to funding agencies and ensure that adequate supporting documentation is available for audit review.
• Provide guidance to Institutes on financial matters and ensure the Institutes are in compliance with University’s financial policies and procedures, and funding agencies’ terms & conditions / guidelines.
• Contribute to the ongoing improvement of financial processes and controls, for operational efficiency.
• Review and ensure compliance with related tax filing including GST, withholding tax and taxable benefits for personal claims.
• Support the team during financial year-end closing to ensure all legitimate transactions are properly recorded, and year-end closing deadlines are met.
• Support the team in the annual fixed assets verification exercise, ensuring compliance with the verification procedures and maintaining accurate records of fixed assets.
• 9Support in other finance functions as and when required by the team.

Requirements

• Min Accounting Degree/ACCA
• Preferable with 1 to 3 years of working experience
• A team player with good communication and interpersonal skills
• Possess maturity and work collaboratively with people at all levels
• Attention to detail and organized
• Able to work independently, or in a team, with self-awareness in meeting deadlines
• Self-starter with the ability to multi-task
• Familiarity with SAP and/or experience in research grant finance will be advantageous

Interested applicants, please email your updated CV to [email protected] or WA 97527630 for more information.

Recruiter's Ref Code: #HRY

EA Personnel No: R23116144

EA Personnel Name: Lim Ruo Yi, Rachel

Company Registration Number: Recruit Express Pte Ltd (99C4599)