Local commodities trading company is looking to fill the role of an Executive Assistant. The candidate will be expected to handle administrative tasks such as paper work filing and organization as well as preparation of contracts working in tandem with the company's traders.

The ideal candidate should have at least 03 years experience in a similiar role and an advantage would be knowledge of commodities trading and its terms. Good written and spoken English is a must and knowledge of Chinese (Mandarin) both written and spoken is also necessary as we work a lot with the Chinese market.

Job Description & Requirements

Location: Woodlands Care Home

As part of the Nursing Workforce for the Care Home, the Senior / Healthcare Assistant will assist both the Senior / Staff Nurse and Senior / Enrolled Nurse in the delivery of required and optimal level (quality care) of healthcare services, based on the defined care model, to residents in the home(s).

Handyman Functions:

• Perform basic tasks including painting and filling crevices, clean facilities and managing maintenance repairs
• Perform repair works on appliances except medical equipment under preventive maintenance
• Detect, report and monitor the needs for major maintenance work
• Regularly check Care Home to identify issues with litter, mechanical failure or breakdowns
• Respond to the clinical team request for repair and maintenance in a timely and professional manner;
• Repair plumbing, electrical and safety system in alignment to the requirement in consultation with appointed Hard FM vendor
• Maintain the cleanliness of outside, spaces such as parking lots and sidewalks with appointed Soft FM vendor
• Oversee the sprinkler system and trash containers in the company premises in consultation with appointed Hard FM vendor
• Conduct routine performance checks on company assets such as refrigerators, microwaves, oven, wheelchairs, commodes etc.
• Provide support and guidance to the clinical team on maintaining their equipment in consultation with relevant equipment suppliers/ manufacturers

Educational Requirements:

• Minimum of 2 years’ working experience in a similar role
• Experience in plumbing and electrical system
• Ability to work with hardware tools and power equipment
• Extremely organized with good communication skills
• Self-motivated and committed
• Detail-orientated with an aptitude for problem solving
• Good team player

With over 1,200 restaurants worldwide, Gyu-Kaku, a new style of Yakiniku restaurant provides high-quality services and low-price Yakiniku to a wide range of customers. Our philosophy “Kando Sozo” ensures and expose you to our customers’ happy faces, thus we are looking for Kitchen Assistant to join in our family today.

Job Description:

1. Ensure that food preparation areas are clean and hygienic.

2. Storing and distributing ingredients.

3. Washing, peeling, chopping, cutting and cooking of foods.

4. Ensure food preparation meets company SOP and Recipe.

5. Keep up-to-date with current promotions and new items in menu.

6. Ensure the procedures for supplies, equipment, and work areas are in compliance with safety standards and SOP.

7. Assist in keeping food wastage to minimum, through correct product measurements.

8. Maintain good knowledge on standard food preparation through training, and training of Junior Kitchen Assistants.

9. Always adhere to all company policies and procedures.

10. Assist Branch Chef to:

a. Control Food Cost.

b. Daily ordering of food and supplies.

c. Inventory.

11. Any other duties as assigned by Branch Chef or Restaurant Managers.

Job Requirements:

1. At least 5 years of experience in F&B (Kitchen) industry, experience in Japanese restaurants is a bonus.

2. Mature and positive attitude.

3. Basic Food Hygiene Certification is a must.

4. Able to commit on weekends and public holiday.

5. Able to accept split shift.

Roles & Responsibilities

1. Accountable for customer orders, liaison with mandarin speaking clients and inventory management in the operations function.
2. Distribution of clients information.
3. The role involves packing supplements picked by courier companies.
4. General administrative work.

Skills Required

• Good communication skills -spoken/written English
• Computer skills including Windows, MS Office and Photoshop.
• Good interpersonal skills.

Other Information

• 5 working days per week
• working schedule: 9.00 am to 06.00 pm.
• Salary: S$2,200/- – S$2,600/- per month with CPF
• No age limit.
• Location: Fortune Centre.
• Immediate commencement

* This location is close to 5 MRT stations and lots of eateries.

Interested candidates are requested to send us your resume by emailing info@biomeadows.com and mention in the subject Administrative Assistant. We regret to inform you that only shortlisted candidates will be notified.

Job Description

• Handle full set of accounts.
• Prepare GST report submission and bank reconciliation.
• Liaise with external auditors, clients and internal staff.
• Responsible for month-end closing for multiple entities.
• Preparation of monthly financial report, including assurance of accurate and timely results.

Requirements

• Minimum Diploma in Finance/Accounting or relevant Professional Accounting Qualification.
• At least 2 years of relevant experience in this role.
• Able to work independently while maintaining a strong team spirit
• Possess initiative and able to organize and prioritize work
• Able to work under pressure and meet deadlines
• Knowledge in QuickBook will be advantageous

EA Name: Lim Jia Jun Kenneth

EA Registration Number : R24120012

EA Company Name: K.MERLEONE PTE. LTD.

EA Licence Number: 22C1177

Heartfield Kindergarten was founded in 1994, we are a bespoke kindergarten on a 1-acre land that serves a community of local and expatriate children from 18 months to 6 years of age. Our Vision is to nurture every child’s heart and mind for a flourishing future. We believe in learning through play and outdoor activities. We have a united team of warm,friendly and helpful colleagues who enjoy interacting with children.Website: https: //www.heartfieldkindergarten.com

HeartfieldHeartfield Kindergarten is recruiting an Temporary Teacher Assistant to assist the teachers to inspire, nurture and role model our children.

Period of employment is from mid Aug to end Nov.

• Candidates must possess at least GCE O level Certificate

• No Work experience is required

• Classroom environment: Mainly outdoors, sheltered areas and air-con classrooms• Required Skills: Good interpersonal skills, patience, willing to learn

• Working hours: 8 am to 1.30+ pm

Role: Assist the main class teacher who implements daily chinese program to facilitate learning of children

• Role: Work with team to prepare the environment for teaching & learning

• Conduct daily routine care and related duties

3、Benefits: Warm and friendly work environmentRoom to be creative,

Low Student - Teacher ratio

Other Qualities:
You enjoy conversing with people and know how to communicate with fellow colleagues and children. You can work collectively as a team and independently when there is a need. Listen to the heart and mind of what the child has to say and believe in the potential and growth of every child.

Job Description:

• Perform month end closing and related fund accounts
• Review and maintain the General Ledger accounts
• Perform quarterly GST statements for review and submission
• Work with relevant department on payment related matters and bank related matters
• Manage Fixed Assets and performing review of purchase requisitions
• Any ad-hoc duties as per assigned

Requirement:

• Minimum Degree in Accountancy/ Finance or equivalent

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click Apply Now button.

** We regret to inform only shortlisted candidates will be notified. Applicants who do not possess necessary experience or qualification will still be considered on individual merits and may be contacted for other opportunities.**

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Kam Xiu Ping

EA Personnel Reg No: R21101828

Job Description:

• Attend to patients' enquiries and provide information.
• Provide chaperone assistance to doctors/nurses and prepare consultation documents
• Assist patient with registration, billing, collection of payment and appointment scheduling.
• Assist in administrative duties
• Any ad hoc duties as per assigned

Requirement:

• Minimum GCE O Levels

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click "Apply Now" button.

** We regret to inform only shortlisted candidates will be notified. Applicants who do not possess necessary experience or qualification will still be considered on individual merits and may be contacted for other opportunities.**

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Kam Xiu Ping

EA Personnel Reg No: R21101828

Job Title: Corporate Secretary Executive (Senior/Assistant Manager) (ID1538)
Location: Telok Ayer, walking distance from MRT
Working Hours: Mon to Fri 9am to 6pm
Salary: $3200 - $3800

Benefits:
• Performance bonus will be considered (average: 2 months for past a few years)
• Company trip (year 2024 : trip to Japan) may conduct once in 2 to 3 years
• Team building has been conducted once every 2 months. (the company gave some budget and team can organize lunch or activity)


Job Responsibilities:
• To provide full suite of corporate secretarial related services (e.g., incorporation of company, change of company officers and share transfers)
• Manage a portfolio of clients in providing corporate secretarial services
• Handling submission of ACRA & IRAS transactions
• Preparing Directors/Shareholders resolutions, Extraordinary / Annual General Meetings Minutes, relevant statutory forms and other related documents for on-going corporate secretarial matters.
• Provide advice on compliance requirements, corporate governance and corporate secretarial matters
• Ensure that secretarial files and statutory records are properly updated and maintained
• Performing Onboarding / Ongoing Due Diligence Check on new and existing clients
• Liaise with statutory bodies, banks and other third-party business partners as and when required
• Handle work pass application for clients’ expatriate staff
• Review/Prepare financial statements in XBRL format.
• Any other corporate and ad-hoc jobs as required

Job Requirements:
• Diploma/Advanced Diploma/Degree in relevant field, Business Administration, Business Management or Law Holding or currently pursuing corporate secretarial qualification / compliance background would be an advantage.
• A meticulous, organized and proactive individual who is able to work independently.
• Multi-task and work under tight timelines.
• At least 2 years’ relevant corporate secretarial experience is required
• Someone who is looking for long-term career growth prospect

Job Responsibilities:

• Handle clients with professionalism

• Direct visitors/clients to the appropriate staff

• Greet and welcome all clients/visitors courteously and professionally, and perform necessary registration safe entry and distancing, and other requirements

• Attend to phone calls, enquiries, courier services, mails processing, and distribution

• Ensure good housekeeping for the reception, customer waiting areas and meeting rooms, and report any damages

• Other ad-hoc office administration support as and when necessary

Job Requirements:

• Pleasant personality

• Fluent command of English and Mandarin in order to liaise with Mandarin speaking associates and clients.

• Professional presentation and excellent customer handling skills

• Pleasant demeanour, positive attitude with an eye for details and willingness to serve

• IT savvy

• Able to multi task and work in a fast paced

• People-oriented team player with excellent interpersonal and communication skills

Interested applicant, please email your detail resume which includes your expected salary to Lili at [email protected]

Only shortlisted candidate will be notified.

Job location: Central

Working hours:

• Perm Full time 9am to 6pm or Part Timers are welcome

Job description:

• Recruitment Officer to manage company recruitment portfolio such as posting advertisements, screening candidates and scheduling interviews.
• Assisting to manage Social Media Accounts and content generation such as simple video editing and to perform social media trending
• Collaborate with schools / private institutions on recruitment activities
• Administrative duties for clients’ management. (EG. Sending letters / gifts / cards / following up on queries and requests.)
• Administrative duties for organization matters. (EG. Taking minutes / managing campaigns and schedules / Filing / Scanning.)
• Handling phone calls
• Data-Entry in preparation of clients’ meetings and organization’s meetings

Job requirements:

• Computer literate
• Proficient in Microsoft Office (Word, Excel, Powerpoint) and Social media
• Able to do simple editing on Capcut
• Fluent in English
• Good attitude, Has initiative, Meticulous and a Team player.
• Singaporeans / Permanent Resident

We are looking for an individual with positive and outgoing personality who are willing to take up our Accounts and Admin Assistant position.

Your responsibilities include but not limited to the following:

• Reports directly to Group Financial Controller and Accountant

• Perform various accounting responsibilities related to AP, including keying in suppliers invoice, preparing payment vouchers and processing payments

• Perform various accounting responsibilities related to AR, including keying in customer invoice and processing receipts

• Prepares intercompany billings

• Perform data entry

• Provides weekly cashflow balances

• Maintain proper filling and documentation

• Provide admin supports

• Liaise with Company Secretary and auditor

• Any other ad-hoc duties as assigned

Requirements

• Minimum diploma in accounting, finance major or equivalent.

• Minimum 1 year of accounting or finance working experience.

• Proficient in Moneyworks accounting software, Numbers and Microsoft Office.

• Meticulous, Willing to learn, highly responsible, organized and able to multi-task and work independently.

• Successful applicant is expected to work either 3 half-days or 2 full days.

• Assist to register patients under the different category of private, Chas, Medisave or insurance patients
• Assist the doctors in procedures like ECG, surgical procedures and health examination
• Assist to pack medications according to what was dispensed and explain to patients how to take their medications
• Assist to collect payment or submit claims for chas/medisave/insurance patients
• Assist to perform swab test for patients with flu like symptoms (Will be trained on the Swab technique and procedures)
• Assist to update Patient Risk Profile Portal (PRPP) and print out request form for sending of swab samples
• Maintain the cleanliness of the clinic
• Clean, organize and replenish items such as alcohol swabs, plaster, syringes, gloves, etc. in doctor's room. Ensure equipment are working properly.
• Able to check and reply to emails promptly.
• Assist in administrative work like keying of invoices, checking of mailboxes, claims
• House-keeping to ensure clinic is neat and tidy. Replenish items when running low.
• Secondary duties include aiding the clinics’ marketing/ advertising/ communication campaigns or projects
• Any other duties and conduct that are reasonably expected of a clinic assistant in a medical clinic

Requirements:-

• Minimum GCE 'O' level
• Wiling to travel to other clinic if required
• Good in customer service and communication skills
• Require basic computer skills
• Able to work according to the clinic operating hours
• Required to work on weekends
• Working Location: Lavender

Ninja Van is a tech-enabled logistics company on a mission to provide hassle-free delivery services for businesses of all sizes across Southeast Asia. Launched in 2014, we started operations in Singapore and have become the region's largest and fastest growing last-mile logistics company, partnering with over 35,000 merchants and delivering more than 1,000 parcels every minute across six countries.

At our core, we are a technology company that is disrupting a massive industry with cutting-edge software and operational concepts. Powered by algorithm-based optimisation, dynamic routing, end-to-end tracking and a data-driven approach, we provide best-of-class delivery services that delight both the shippers and end customers. But we are just getting started! We have much room for improvement and many ideas that will further shape the industry.

The incumbent is responsible for helping accelerate growth in the SG fulfilment business by capitalizing on various growth opportunities, driving revenue generation, and ultimately contributing to the business’ growth targets sustainably. Also responsible for providing support on various other initiatives such as market research and marketing.

Responsibilities

• Support country head in discussions with sales channels (SG sales head, China Sales Office commercial) to ensure that there are sufficient opportunities that meet the qualification criteria entering the pipeline
• Partner sales channels to understand gaps in product, pricing and strategy to drive improved top-of-funnel pipeline
• Drive top-line growth based on internal and external leads aligned to the fulfilment sales target.
• Own and build sales pipeline to track progress and prioritise opportunities, including providing updates to Country head and Core SG management team
• Engagement with prospective clients to understand fulfilment requirements, and working with internal stakeholders to provide solutions.
• Implement effective sales strategies to accelerate pipeline velocity and drive conversion rates.
• Support country head in strategic sales planning and implementation and support marketing and product development programs, targeted towards existing and new Ninja Van customers.
• Independently prepare, draft and review presentations with customers.
• Lead commercial negotiations with clients, including cross selling various products aiming to push for new wins.
• Work with operations manager to develop cost-based quotations for customers
• Work closely on contract negotiation and engagements between clients and legal team.
• Handle inquiries and perform related duties including ad hoc and fulfilment related tasks as assigned.
• Assess market opportunities and insights to build new segments for potential business growth
• Provide insights and recommendations to inform strategic decision-making and business planning.
• Collaborate with the marketing team to develop promotional materials, presentations, and sales collateral.
• Assist in the development of marketing campaigns and initiatives to support sales objectives.
• Provide input and feedback on marketing strategies based on customer feedback and market insights.

Requirements

• At least 2 years of extensive experience in sales, business development and marketing
• Experience in 3PL logistics business development or eCommerce logistics is preferred.
• Track record in managing and growing customer portfolio aligned to target given
• At least a degree in any field
• Strategic, innovative, and creative personality with a strong business acumen
• A passion for working in and managing a fast-paced, collaborative environment
• Sales/ Business development or account management experience in eCommerce Logistics market
• Strong existing working relationships with clients
• Proficiency in Microsoft Office (Word, Powerpoint, Excel) and Google Workspace (Docs, Slides, Sheets, Forms)
• Proficiency in English (Reading, Writing & Speaking)

Job Title: Warehouse Assistant (ID3273)
Location: Serangoon
Working Hours: Mon-Thurs 9am to 6pm, Fri 9am to 5pm
Salary: $2000-2200

Job Description:
• Receive and check goods from production .
• Issue and receive parts from supplier and sub-contractor
• Packing & labelling goods for deliveries
• Updating of stock cards.
• Proper arrangement of stock in its assigned location
• Conduct month-end stock check


Requirements:
• Min 1-2 years’ experience in doing warehouse job
• No forklift license require
• Not much overtime

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

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

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

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

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

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

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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:

Amber Family Clinic is a new GP clinc in the vibrant area of Katong. We are dedicated to providing comprehensive and personalised medical services for patients of all ages. Led by Dr Wong who has almost 20 years of experience in clinical practice, we are committed to delivering high quality holistic care in preventive medicine, acute and chronic disease management, lifestyle medicine and weight management. Dr Wong also has special interests in Women's Health and Children's Health.

We are excited to annouce an opening for a Clinical Assistant to join our team!

Role Description:

This is a full-time on-site role as a Clinic Assistant at Amber Family Clinic in Singapore.

As a Clinic Assistant, you will be responsible for various administrative and patient service tasks to support the day-to-day operations of the clinic. These include managing patient appointments, maintaining medical records, handling phone inquiries, assisting with billing and payments, and providing support to the medical team.

You will play a crucial role in ensuring the smooth running of the clinic in delivering exceptional patient care.

Qualifications

• Strong organizational and multitasking skills
• Excellent communication and interpersonal skills
• Attention to detail and accuracy in data entry and record keeping
• Proficiency in computer skills and familiarity with electronic medical records systems
• Ability to work well in a dynamic environment with a team
• A friendly and compassionate attitude towards patients
• Fluency in English and proficency in other langauges is a plus
• Prior experience in a healthcare or medical setting is preferred

What we offer:

• Competitive salary and benefits package including medical benefits and birthday perks
• Opportunities for professional growth and development
• Supportive and inclusive work envrionment

If you have a passion to make a meaningful impact on the lives of our patients, we would love to hear from you!

Please contact Dr Wong for more details.

Email [email protected] with the subject line "Clinical Assistant Application". Thank you!

Store Assistant duties and responsibilities

Our company is seeking an enthusiastic Store Assistant to work in our store. Duties include helping our customers identify and purchase items, restocking the retail space, and creating appealing merchandize displays. The ideal candidate will have a desire to provide excellent customer service and increase sales. Store Assistants ensure that retail operations are carried out effectively and efficiently for maximum customer satisfaction. Their day-to-day duties include:

· Assists in achieving store recruiting goals

· Run Cash Register

· Drive the achievement of the store’s sale targets while also meeting individual sales goals

· Assist in maximizing the business potential of the store and maximizing sales by department in line with company strategy

· Monitor proper use and ensure the quality of data in the sales staff’s client books, working with sales staff to propose action plans

· Facilitate staff trainings and new hire inductions, ensuring the proper follow up steps are taken

· Deliver exceptional service to all clientele by upholding brand service values and standards while managing customer relationships in a timely, professional manner

· Identifies performance issues and policy violations according to company policy and partners with the Store Manager

· Keeping the store fully stocked

· Maintaining the highest level of visual merchandising and store conditions

· Delivering exceptional sales services for improved customer satisfaction

· Interacting with customers and identifying their needs and preferences

· Operating cash registers and point-of-sale machines

· Receiving and verifying the quality and quantity of new shipments

· Enforcing in-store security and health and safety procedures and regulations

· Perform any other duties assigned by the director.

Store Assistant duties and requirements

• High school diploma or GED is preferred.
• Proven retail sales experience.
• The ability to stand for extended periods.
• The ability to use labeling and pricing equipment as well as Point of Sale (POS) software.
• The ability to work in a fast-paced environment.
• Strong organizational skills.
• Effective communication skills.
• Exceptional customer service skills.
• Detail-oriented.

· Previous specialty retail management experience, preferably in the outdoor industry

· Retail background preferred-previous management experience

· The ability to work under pressure.

· Availability to work within opening hours (e.g. evenings, holidays, weekends).

• Looking for experienced Clinic Assistant
• Able to commit weekdays & Sat/Sun.
• Rotating shift hours. AM / PM / Full Shift

Job Scope

• Perform front desk duties and operational activities
• Registering patients and dispensing medications
• Chaperoning / assisting doctors in clinical procedures
• Establish inventory standards for medications and supplies
• Submission of claims and other medical documents
• Scheduling of appointment and patient registration
• Booking of referral appointments
• Handling phone calls and inquiries
• Handle administrative and ad-hoc duties

Qualifications And Job Requirements

• Great interpersonal skills
• Prior experience will be an advantage.
• Computer literate and team player
• Our family clinic serves a significant number of elderly patients who may not be fluent in English and often communicate in dialects such as Hokkien, Teochew, or Cantonese. Proficiency in Mandarin or the ability to converse in dialects would be highly beneficial

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

Key Roles and Responsibilities

· Responsible for all regulatory reporting globally, including but not limited to MAS Risk-Based Capital, MAS filing, SGX reporting and other regimes that the Firm operates in.

· Responsible to drive long-term capital planning given changing business and regulatory environments globally.

· Lead monthly closing process, ensuring accuracy in the financials.

· Involve in building and maintaining financial/analytical models to support business decision making.

· Involve in data analytics to provide insights on business performance.

· Lead/involve in the transformation process of the finance function into data-driven and highly automated function.

Requirements

· More than 8 years relevant experience in the financial industry, preferably with knowledge in foreign exchange, Futures and Options, OTC derivatives, securities, and/or fixed income products.

· Working experience in regulatory reporting is essential.

· Degree in Accountancy and preferably a Chartered Accountant.

· Good analytical skills with the ability to link financial numbers with business activities, and use of business intelligence tools.

· Keen interest in technology, strong belief in data, open-minded and having a growth mindset are essential traits to be successful in this role.

· Basic statistical analysis using Python or R Studio is an advantage.