Responsibilities

· Responsible for the service management in the maintenance services

· Prepare and maintain project execution plans, and track all activities against the plan, providing regular and accurate reports to internal management and customer management

· Deliver quality outputs based on defined processes, review project performance and take timely corrective actions where necessary to ensure that project performance targets are achieved; identify and mitigate risks before they seriously impact the project delivery

· Monitor and control allocated manpower, associated revenue costs and all capital costs against the project budget

· Provide effective leadership to the project teams and ensuring that the team members are motivated, and developing their technical competencies and knowledge base

· Participate in client / partner contract negotiations and pre-sales solutioning support to sales team

· Manage a team and ensure SLA are fulfill

Requirements

· Degree in IT / Engineering, or diploma with years of experience equivalent

· At least 5 years of experience in managing large-scale system and engineering integration projects and cross-functional delivery teams

· Experience in turn-key development, implementation and maintenance of large-scale, multi-platform, multi-vendor systems in the IT and engineering domain

· Large-scale program management of multi-service line teams, including strong project management and communications skills, service delivery, client relations, planning, scheduling, budgeting, financial management, resource management, quality assurance and situational negotiations

· Proven track record in managing multi-million dollar projects in the government and/or commercial sectors

· Proven record of successful staff management in the area of leadership, staff motivation, performance appraisal, professional development and recruitment

· “Hands-on” attitude

· Good presentation skills, communication, negotiation, interpersonal skills and customer-service orientation

· Knowledge of Voice switching system will be a plus

· Professional project management certification (e.g.. PMP, ITIL, etc.) is preferred

· Preferably with Class 3 driving license

· Working location is in Ang Mo Kio

• This is a 2 years’ direct contract

· Singaporeans only

Please submit resumes to [email protected] with the following

details in MS Word format:

- Position applying for

- Current remuneration

- Expected remuneration

- Notice period

John Goh Meng Chye

EA License No : 06C4642

EA Reg No : R1102621

We regret that only shortlisted candidates will be notified.

Job Description & Requirements

• Design of electrical systems for infrastructure/ Water / building projects
• Conducting technical feasibility study, life cycle study and planning for all electrical systems
• Preparation of design report, calculation, drawings, specification, cost estimation and details/ schedules for projects.
• Assist Project Manager in up-keeping the project ISO quality documentation and records.
• Evaluation of tenders and preparation of tender assessment reports.
• Assist Professional Engineer in liaison preparation and follow up of authority submission.

Requirements:

• Bachelor Degree in Electrical Engineering
• Minimum 5 years hands-on design experience in building and/or infrastructure projects
• Good project management and technical skills
• Familiar with local code and authority submission procedures
• Team player and able to work independent with minimal supervision
• Proficient in AutoCAD and BIM
• Good communication skills; ability to work well in a team

Job Highlights

• Single shift; nights not required.
• One of the top pastry brands in Singapore, centrally located.
• Competitive salary and benefits.

Job requirements

• Experience in F&B, especially in bakery, pastry and speciality coffee establishment is a plus.
• Team player, must be able to support in all areas of the cafe.
• Good communication skills, spoken and written English.
• Must be responsible, motivated and have a positive attitude.

Job functions

• Be able to carry out daily operations, opening and closing of the store.
• Ensure efficient and friendly customer service.
• Be able to take personal and corporate orders, delivery orders, advise customers on products, coordinate with kitchen to ensure smooth operation.
• Communicate with guest and be able to answer all queries.
• Maintain high level of store cleanliness and appearance.
• Prepare hot and cold drinks.
• Handle sales transactions.
• Keep track of personal and corporate orders, delivery orders, advise customers on products, coordinate with kitchen to ensure smooth operation.
• Keeping track of supplies for both front and back of house, liasing with all suppliers.

Please send complete resume including:

• Personal details and contact information
• All relevant and past work experience with references.
• Last drawn salary and expected salary.
• Date of availability.
• Only shortlisted candidates will be notified.
• Please email or WhatsApp us at 98740664.

• Netlist to GDSII at block level, Subsystem Level and at Full chip.
• Worked on multiple tapeouts on Netlist to GDSII
• Hierarchical partitioning and budgeting of block-level subsystems.
• Implementation of high performance (HP) cores, low power designs
• Node experience upto 7nm, 10nm, 14nm, 28nm.
• Timing Signoff in loop through STA and ECO cycle at block and at interface.
• Block level floor planning, power planning and IR drop analysis.
• Scan chain reordering / Scan Chain repartitioning
• CTS expertise and clock tree constraints creation for meeting specifications
• MMMC optimization at Block and Sub-System Level
• Timing closure with Crosstalk and AOCV / POCV
• TCL scripting to fundamentally understand tool usage.

MANDATORY EDA SKILLS

• PnR tools such as Synopsys ICC/ICC2 and/or Cadence Innovus

Responsibilities:

• To perform all roles and responsibilities required of site supervisors under the Building Control Act
• Ensure that the M&E works are constructed in accordance with drawings and specifications and the Building Control Act and Regulations
• Monitor and report on the progress of works
• Carry out inspection of M&E engineering works prior to concreting, subsequent construction work and defects rectification works
• To carry out supervision and inspection of the works as directed by the Supervision QP, CRE,SRE, consultants or Superintending Officer
• To manage and supervise the Resident Technical Officer under his charge
• Ensure records of all mechanical and engineering works including records of tests, defect rectification, inspections, work progress, material and equipment on site, safety, etc, are timely updated and properly kept
• Attending site, progress, variation and coordination meetings
• Verifying all reports and claims relating to M&E works submitted by the contractors
• Liaise with all relevant authorities and stakeholders to maintain proper and updated daily records of all works done including records of tests, inspections, status of work, safety, site diary, material on site and equipment on site, labour force, day works, provisional items or provisional quantities etc.
• Keeping accurate record of variations as instructed or approved by the Superintending Officer and to maintain a set of updated drawings on site
• Check all drawings (including shopdrawings, construction drawings and specifications for discrepancies and to report to the Supervision QP, consultants or Superintending Officer

Requirements:

• Minimum five (5) years of relevant experience as a mechanical and electrical engineer, of which at least three (3) years shall be in supervision of works similar in nature to major construction works in buildings, services laying and lighting & control systems.
• Degree/ Diploma in mechanical or electrical engineering degree recognised by the Professional Engineers Board of Singapore.
• Preferably with experience in the supervision of infra services laying, lighting & control systems.
• Contract Period: 1 year, subjected to extension depending on project requirement

Responsibilities/Job Scope:

• Pre-silicon verification and post-silicon system validation

• Test case and test automation scripts development and test plan execution

• Debug system (hardware, software and firmware), provide expert support to internal as well as external customer

• Silicon characterization and failure analysis

• Booting and other source code development

• Interoperability Testing (IOP), debugging and propose solutions

• Requires interfaces with Architecture, Design, and Pre-silicon Validation teams in improving post-silicon test content and providing feedback for future on-die debug features

Qualifications and Experience:

• Bachelor’s degree and above of computer science or electronic and electric engineering or embedded system

• Minimum three years’ experience of hardware, firmware development and system verification in consumer/electronics products

• Familiar with system board design/debugging and usage of lab equipment like Oscilloscope and Logic analyzer

• Experience of silicon verification and test plan execution

• Understand Ethernet GPHY, Ethernet Switch/PCI/USB/PCI-E/ /SGMII/SPI bus protocol

• Experience of C/C++ and Python Programming language

• Knowledge of physical layer components such ADC, DAC, AGC, DSP, filtering, line driver, differential signals

• System Debug tools JTAG, EJTAG. Knowledge of Spirent Test center and scripting

• Team player, very proactive and self-motivated

Job Description

• This is a delivery cum support role, working on cloud (private and/or public) operations with the infrastructure delivery and support teams.
• You will execute daily operational activities as well as implementations in technical customer engagements including basic infrastructure operations and administration, specific implementation projects and/or proof-of-concepts in the infrastructure.
• The ideal candidate will have experience in delivery roles and successes in implementation discussions, hands-on experience with good client handling skills and good team player within the team.
• The candidate should also be able to provide solutions and technical expertise to fellow team members and in client accounts.

Responsibilities

• Apply technical knowledge, hands-on and customer insights to operate and administrate a cloud (private and/or public) infrastructure.
• Ensure all configurations conform to high levels of performance, security, scalability, maintainability, and appropriate reusability and reliability upon deployment, aligning to design documentation specifications.
• Ability to codify or implement/deploy configurations with the principles of automation by default in new projects with proper documentations will be advantageous.
• Ability to codify or maintain infrastructure systems in an automated fashion using tools such as but not limited to Ctrl-M, Ansible, Terraform etc with proper documentation will be advantageous
• Collaborate with team members to engage clients in operational meetings, discussions, process betterment and contribute to optimisations for the client’s environment.
• Maintain technical skills, certifications and knowledge of market trends and competitive insights; collaborate and share with the technical community specifically in the infrastructure.
• Ability to resolve issues with proper resolution/documentation technically and SLAs is required for this role.

Job Requirements:

• Job Role/Level: Engineer, Workload Automation Mgmt.
• Mandatory Skills (must-have): Control-M
• Preferred Skills: Troubleshooting, Problem and Change Management
• Work Location: Tanjong Pagar
• Contract Duration: 12 months
• Security clearance * Need to be cleared for the project (project clearance) before onboarding
• 24 * 7 standby: Yes
• Shiftwork: No
• Monthly Claims: Mobile: up to $ 50 per month (on reimbursement basis along with receipt/invoice subjected to project team’s approval)
• Transport: on reimbursement basis along with receipt/invoice subjected to project team’s approval
• Monthly Allowance: NA
• Bonus: 1 month of Performance Bonus
• Notice Period: 2 Months

Professional Experience

• At least 2 years of successes in operational/administration and deployment/migration infrastructure projects.
• Problem Solving. Ability to solve customer problems through technologies.
• Collaboration and Communication. Acknowledged helping to provide solutions to issues collaboratively, resolving conflicts and ensuring follow through with proper follow up and closure.

Technical Experience

• Strong technical experience with cloud infrastructures, migrations, and technology management preferred

1. Should be able to perform Control-M Administrative activities involving:

a. Agent on-boarding on Windows and Linux platform

b. Control-M Env Configuration – Windows Servers and MSSQL DB

c. Monitor Housekeeping jobs and Control-M Server resources.

d. Configure/Update authorization profile (RBAC)

e. Configure/Update Calanders, Workload policies, Site standards.

f. Support maintenance activities like OS patching and DR activity

g. Troubleshooting issues and provide RCA, involve vendor if required.

2. Should have good knowledge on Control-M Application HA and DR setup.

3. Will be responsible to perform job configuration inline to site-standards and naming convention.

4. Provide consultation to application team to address there scheduling requirements.

5. Should be well worse with change life cycle and Jira.

6. Should provide inputs to documentation like – TDS, OPS Guid etc.

7. Mitigate security risk highlighted by VA scan.

8. Conduct KT session for customer

9. Should have good knowledge of Linux and windows platform

Certifications

BMC Ctrl-M Certified Associate, BMC Ctrl-M Certified Fundamentals, BMC Ctrl-M Certified Professional

Vmware Certified Technical Associate and/or VMware Certified Professional will be desirable.

Job Type: Contract

Salary: Up to $12,500.00 per month

Work Location: Tanjong Pagar (In person)

Job Scope

Reports to Contact Centre Team Lead
Handle customer service hotline and provide first level of supports from OMNI Channels
Resolve customer queries efficiently and escalate problems/issues promptly.
Follow Standard operating procedures closely.
Work as a team and ensure that the contact centre service level is met

Requirements

• Diploma / NITEC / GCE ‘O' Level or equivalent
• Minimum C5 for English O level
• Preferably with 1 to 2 years of working experience in call centre environment and/or service related industry


Special Knowledge or Skills:
• Pleasant disposition with good communication skills
• Fluency in a second language
• Computer literate and good typing skills

Please submit resumes to [email protected] with the following details in MS Word format:

- Position applying for

- Current remuneration

- Expected remuneration

- Notice period

John Goh Meng Chye

EA License No : 06C4642

EA Reg No : R1102621

We regret that only shortlisted candidates will be notified.

1. INTERFACE MANAGER

Job Description:

• Responsible for design, implementation, testing and commissioning of Large-Scale, Rail Transportation projects for Supervisory Control & Data Acquisition (SCADA) System
• Manage a team of interface engineers and coordinate with interfacing contractors and stakeholders to firm up the interface design including getting the interface design and interface documents accepted by the client.
• Participate in interface meetings and interface testing on site with the interfacing parties.

Job Requirement:

• Diploma/Degree in Electrical, Electronics or Computer Engineering
• Excellent working knowledge of SCADA software package on UNIX and Windows platforms
• 3 – 5 years’ working experience in the design and implementation of Real Time Control System in a project environment
• Experience with various types of interfaces and protocol
• Ability to participate in multiple projects and work under pressure
• Pro-active, resourceful and able to work with various stakeholders
• Team player and independent

Please submit resumes to [email protected] with the following

details in MS Word format:

- Position applying for
- Current remuneration
- Expected remuneration
- Notice period

John Goh Meng Chye

EA License No : 06C4642
EA Reg No : R1102621

KEY RESPONSIBILITIES:

• To provide support on maintenance project.

• Handle system administration, network support, implementation, troubleshooting in Windows / Linux / Unix.

GENERAL REQUIREMENTS:

• Candidate must possess at least a Diploma in Engineering (Electrical/Electronic), Computer Science/Information Technology or equivalent.
• Must have at least 1-2 years of Server experience
• A team player with good communication and interpersonal skills
• Able to work without minimal supervision
• Able to work on scheduled standby on rotating weeks.
• Working hours: Mon to Fri, 8.30am to 5.50pm.

Only shortlisted applicants will be notified.

EA License: 14C7275| Juhi Dwivedi : R23112291

RESPONSIBILITIES:

Netlist to GDSII at block level, Subsystem Level and at Full chip.

• Worked on multiple tapeouts on Netlist to GDSII

• Hierarchical partitioning and budgeting of block-level subsystems.

• Implementation of high performance (HP) cores, low power designs

• Node experience upto 7nm, 10nm, 14nm, 28nm.

• Timing Signoff in loop through STA and ECO cycle at block and at interface.

• Block level floor planning, power planning and IR drop analysis.

• Scan chain reordering / Scan Chain repartitioning

• CTS expertise and clock tree constraints creation for meeting specifications

• MMMC optimization at Block and Sub-System Level

• Timing closure with Crosstalk and AOCV / POCV

• TCL scripting to fundamentally understand tool usage.

MANDATORY EDA SKILLS

• PnR tools such as Synopsys ICC/ICC2 and/or Cadence Innovus

Responsibilities:

• Responsible for the electrical design contents as assigned together with its follow-up for Authority and Client’s approval.
• Preparation of electrical design calculations, drawings, specifications, and tender documents for the design projects.
• Participation in design progress and design coordination meetings.
• Liaison and coordination with all applicable Local Authority Departments to obtain approval on projects.
• Responsible for the design review of the electrical services.
• Participation in design review meetings and workshops.
• Preparation of meeting records, design review and design progress reports.

Requirements:

• Degree in Electrical Engineering or other related field
• Minimum 8 years of professional hands-on electrical design experience in building and infrastructure projects
• Excellent technical skills and knowledge in field of expertise
• Experience with full project life-cycle engineering stages from feasibility study, through construction to commercial operation
• Strong project management, communication and interpersonal skills
• Proven track record of developing and delivering innovative client technical solutions

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

Key Responsibilities:

• Responsible for serving food and beverages in the restaurant/bar efficiently and in a most courteous manner.
• To be well versed with menu, method of preparation and accompaniments in order to make recommendations to guests
• Maintains cleanliness of work areas
• Table settings and clearance for the next guests

Key Requirements:

• Strong passion for F&B and service oriented
• Willingness to work on PH and Weekends when required

Customer Service Officer responsibilities include responding to customer service inquiries, finding appropriate solutions, and updating customer accounts or services.

Responsibilities

• Being the first point of contact for our clients/guests, candidate act as the fitness club gatekeeper.
• Greet customers warmly and ascertain problem or reason for calling with an enthusiastic attitude.
• Work well with fellow customer service officers and Front of House Manager to ensure exceptionally high standard of service is being delivered.
• To handle cashing duties and account for transactions.
• Create and maintain good and friendly customer relations with members and guests.
• Issuance and recording of equipment and items loaned to members and guests.
• Ensure that the lounge and private room is ready for use when booked and closed after members have vacated the premise.
• Get members to register for upcoming events / competitions.
• Oversee and manage the corporate events at the Karaoke Lounge.
• Positive attitude and team player.
• Night shift 5PM-3AM

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

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

Support the customers to install, diagnose and resolve Hardware, Software, Application issues on desktop PC/notebook and related peripherals.

Primary Responsibilities

• To assist in installation of hardware and software
• To ensure that hardware and software are maintained according to standards by performing upgrades, new installations and carry out routine updating procedures

Job Knowledge/Skills

• Diploma in Information Technology or Computer science or any computer related subject.
• Good knowledge in PC hardware, LAN and Windows OS
• Resourceful and able to resolve problems independently using online and offline resources
• Good communication and Interpersonal Skills
• Able to communicate effectively in English
• Well organized, proactive and self-directed
• Able to perform with minimal supervision and a team player
• Shift duty and weekend support are required when needed
• Candidateswith troubleshooting knowledge are welcome to apply
• Security Clearance is required

Additional Information

• Location: 50% at Jurong Island
• Once per week, morning shift duty ( 6 am to 2 pm).
• Weekend support for system upgrade / cutover is about once every 2 months.

Jal Yoga International is a well established Yoga studio that has 6 studios around Singapore offering Yoga, Pilates and Barre classes an expanded to Kuala Lumpur, Malaysia and Jakarta, Indonesia. We are looking for an individual who are mature and responsible who is able to handle both the studio branch and our valued customers.

Responsibilities

- Receiving members/visitors and assisting with checking in of the Yoga classes

- Attending to phone calls, emails

- Handle bookings, cancellations, and reconfirmation requests from members/visitors

- Collection of payments over the counter and able to use the NETS/VISA and other payment machines

- Admin duties such as Sales tracking reports, handles monthly consumables, late cancellations and No Shows reports etc.. Must be able to use Microsoft Excel.

- All other ad-hoc duties assigned by the Management

- Maintaining studio cleanliness, sanitising mats and props after each class ends. No allergies to disinfectants or any cleaning products

Requirements

- Highly energetic individuals, cheerful personality with a strong interest in the wellness industry

- Professional, strong interpersonal and communication skills

- Must be fully committed and reliable as you will be handling the front desk alone

- Love meeting people and interacting. Not shy and bubbly personality

- Basic computer skills

- Candidates with relevant qualifications, customer service/hospitality background, with experience in handling front desk and admin duties.

Working hours 7am-1pm Mon-Fridays.

Work location: Kovan, Yio Chu Kang Road
Successful candidates will be undergoing training first.

• Liaise with clients/carriers/transporters/hauliers to execute import and export shipments (Sea/Air).
• Ensure execution of client requests/requirements and respond to their service issues/enquiries.
• Declaration of PM4 or Dangerous goods application and follow up with carrier for approval.
• Works closely with the Sales/Marketing Dept. and assist to quote on their behalf during their absence.
• Generate booking confirmations, Bill of Ladings and invoices to clients
• Document filing. Declaration of import/export permits.
• Follow up with overseas agents/carriers on shipment status.
• Sending pre-alert notice and advice to agent abroad for every shipment.
• Handling local shipper or agent abroad for any enquiries or complaint for any delay or discrepancies on document through telephone or e-mail.
• Preparing Shipping Certificates, Certificate of Origin and Fumigation Certificate.
• Checking the Portnet everyday and updating berthing and unberthing time for every shipment.
• Updates on exchange rates and SOB.

** Min 1 year experience.

Fresh Graduates are also welcome.

On-Job-Training / Related Job Courses can be provided for suitable candidates who have the right attitude but lacking the correct experience.

** Walking distance from MRT station. Friendly working environment.

** Salary will be commensurate base on qualification and experience.

** Medical and dental benefits provided.

Job Title – lyf Guard

You are the main contact for the community, and acts as the face of lyf. You will be a multifaceted Community Manager, who revels in creating an inclusive and collaborative community at lyf. A day in the life of a lyf Guard can start from checking in a new resident, recommending the best yoga studio in town, replacing a light bulb, and ending with having a cup of coffee together with the lyf residents in the social spaces after work. You will report to the Senior lyf Guard.

Responsibilities

1) Take Care of All Residents from Pre-arrival to Post-departure

You will:

• Assist lyf residents with their check-in through the Discover ASR, and mobile access activation

• Explore the functions of the Discover ASR with residents (Eg; mobile access and message board)

• Encourage residents to explore and work with the lyf community

• Handle residents' queries on facilities, services, registration and information about shopping, banking, dining, entertainment and local events

• Handle complaints from residents and ensure that they are appeased

• Conduct tours for lyf residents, potential residents and working partners

• Handle residents' related correspondences

2) Ensure Operational Effectiveness

You will:

• Monitor room availabilities through the property management system

• Ensure that procedures follows corporate guidelines

• Perform book-keeping activities

• Conduct regular rounds to ensure cleanliness of property, especially in shared social spaces

• Handle walk-ins, emails and phone enquiries

• Perform light housekeeping and engineering responsibilities and work with relevant outsourced contractors for cleaning and maintenance

• Ensure the property is sufficiently stocked with stationery and marketing collaterals

• Review activities within the team, improve the departmental processes and enhance efficiency

• Ensure that all staff receive skills upgrading and training (Eg; On-the-job training for new hires)

• Ensure all residents' refunds through credit cards are submitted to Finance

3) Create an Inclusive and Collaborative Community

You will:

• Maintain residents' preference profiles and track their likes and dislikes.

• Assist the Ambassador of Buzz to:

• Curate and plan a calendar of events for residents

• Suggest community initiatives to encourage interaction among the residents

• Manage in-building events for compliance with house rules and intercede or escalate issues as they arise

• Solve residents' related issues to provide a cohesive community and to manage residents' expectations

• Engage with residents and provide constructive recommendations to enhance their stay experiences.

Job Requirements

You have:

• At least 1 year of relevant work experience preferably in the hospitality industry

• Attained at least a Degree or Diploma in Hospitality, Hotel Management or an equivalent qualification

• Service-oriented

• Creative and able to form a unique vision for our communities and residents

• Editing skills

• Interesting skill and talent (lyf skills) such as, coffee making, bartending, singing or a computer geek

• Passion in creative and collaborative communities

• Knowledge of current trends and happenings in the local scene

• Pick up and use new systems and technology solutions quickly

• Enjoy learning a variety of tasks, including paperwork

• Willingness to do shifts (i.e. Morning, Afternoon and Overnight)

We are a cake company, specialising in elegant, wholesome cakes.

We are looking for Permanent / Full-time/Part-time Service Crew for our Paragon outlet.

Position available

- Sales Supervisor, Sales Service Crew

Working Hours

44 hours (5 days a week)

Salary

Up to $3.5K, depending on experience and knowledge

Job Scope

- Attending to customers

- Processing customers' orders of cake and beverage

- Housekeeping of outlets

- Receiving and displaying of cakes

- Barista skills are an advantage

- Manning the POS system

- Maintaining daily opening and closing procedures

Desirable qualities

- Good people skills

- Familiarity with the concept of good service

- Good organisational skills

- A positive attitude

- A passionate and cheerful personality

Benefits

- Variable bonus based on staff and Company performance

- Confirmed staff will be entitled to reimbursement of outpatient expenses and medical insurance

- Training will be provided

Please remember to attach your resume.

We regret that only shortlisted candidates will be notified.

We look forward to having you join our team!

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

Job Responsibilities:

• Provide front-line engineering support for M&E systems
• Carry out/ ensure routine & preventive maintenance services of M&E systems in accordance to plan/master schedule
• Conduct site inspections and data logging for critical M&E systems
• Perform preliminary troubleshooting and rectification of M&E issues
• Manage and supervise contractors to perform maintenance/ repair/ replacement works
• Responsible for tenants satisfaction, attend to and investigate and complaints related to M&E services
• Ensure that the premises and its building facilities are maintained at the highest standards
• Ensure proper documentation of all maintenance, repair and services activities.
• Any other duties as assigned by the Engineering Supervisor & Building Manager

Requirements:

• Diploma / Degree in Electronics /Electrical Engineering or equivalent.
• Hardworking, positive working and learning attitude
• A good team player who is also able to work independently
• Possess good technical knowledge of building works and M & E will be advantage.
• Possess good communication skills (with good written & spoken English) and be able to relate to different levels of people.
• Ability to handle difficult situations and work well in fast-paced environment

Our client is in construction industry (Grade A1 Contractor/ Class 1 General Builder) and they provide full suite of integrated construction services and solutions in both the public and private sectors.

JOB DIMENSION (SCOPE)

• Coordinate design drawings with consultants to comply with requirements of the authorities.
• Review and provide solutions to technical problems as well as plan, monitor and report shop drawing production progress.
• Prepare technical submissions for materials, construction methods and C&S shop drawings.
• Resolve construction issues on drawings and liaise closely with Architectural and M&E teams as well as the authorities.
• Supervise a team of BIM Modelers to produce coordinated shop drawings and Concrete Body Plans

REQUIREMENT

• Possess a Degree in Civil/ Structural Engineering with relevant design working experience with contractors.
• Preferably a Professional Engineer registered with the Professional Engineers Board, Singapore
• At least 5 year(s) of working experience in the related field is required for this position.
• Be conversant in British & Singapore Design Standards
• Be independent, analytical, highly motivated with excellent team spirit and interpersonal skills.
• Possess prior experience working in consultancy firms (added advantage)