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)

Description

• Basic knowledge of our drinks and food menu
• Team player, professional and friendly. (Even in tough situations)
• Effective communication skills with guests and staff
• Quick thinking, basic math skills and great attention to detail
• Greet guests and make them feel comfortable
• Learn menu items and be able to describe them appropriately to guests
• Order Taking and Serving in a timely manner
• Check-in with guests to ensure that everything is going well
• Refill beverages throughout the meal
• General cleaning/dishwashing
• Making sure that all areas of the restaurant is clean and neat

Requirement

• No experience are welcome to apply
• Willing to learn
• Independent, proactive, resourceful and ability to work in a fast paced environment
• Team player with excellent interpersonal and communication skills
• Able to commit weekends and public holidays

Role:Network Engineer

JD:

• Responsible for day to day Operations and administration on network & security infrastructure
• Perform Installation, configuration and maintenance of network equipment and network operating System
• Responsible for network design and security particularly troubleshooting and/or debugging network related problems.
• Good Knowledge troubleshooting, problem identification, problem resolution and/or resolution recommendation activities to first- and second-level teams
• Managing of Cisco Security devices; ASA appliance 5555-X and 5585-X, Juniper Net screen & (including virtual firewall contexts) ,Checkpoint Firewall
• Managing of Cisco Data & Security Devices; ASDM, CSM and DCNM
• Managing of Servers; AAA, SNMP, Syslog, NTP, DHCP, FTP, DNS, IPS, VPN, AAA, DNS, DHCP, load balancers
• Managing of Cisco Routers and Switches Catalyst 6500,4500,3750,2960 & 3560 Series
• Managing of Alcatel Switches Omni Switches 6850 & Omni Switch9000
• Significant exposure to TACACS+, Radius, and Cisco Access Control System
• Network consulting for new projects.
• Implementation of new solutions and risk mitigation techniques
• Receipt, evaluation and implementation of inbound Network Access user and device provisioning/de-provisioning service requests
• Experience in managing Wireless Environment with WLAN Controller.
• Experience in managing Network Access Control
• Assets risk measurement and Mitigation/Minimize risk
• Network security issue resolving approach
• Alignment with security governance team
• Perform maintenance of the network authorization infrastructure as well as network backup system.
• Maintains inventory of equipment and parts as well as documentation of vendor activates.
• Develop and documents systems standards for computer and network device.
• Recommend and schedule repairs to the LAN/WAN and ensure timely user notification of maintenance requirements and effects on system availability.
• Strong networking background and experience, with the ability to do troubleshooting of both access control and network related problems.
• Troubleshoot networks, system, and applications to identify and correct malfunction; other operational difficulties and provide telephone and internal users.

Mott MacDonald is a global engineering, management and development consultancy. We are a leading consultancy within Singapore, and we have an exciting opportunity for an experienced and driven Senior Structural Engineer to join our Built Environment sector.

We are seeking experienced and talented structural engineers to join our team for the iconic Changi Airport Terminal 5 development project.

This is an opportunity to utilize your expertise on one of Singapore's most important infrastructure projects. You will work on highly complex structures and push the boundaries of innovative design. The terminal will incorporate cutting-edge technologies and set new benchmarks for sustainable construction.

As part of our collaborative team, you will partner with renowned architecture and engineering firms at the forefront of their fields. This project represents a career-defining opportunity to make your mark on a building that will redefine air travel.

We are looking for candidates with strong technical skills, creative problem-solving abilities, and a passion for engineering excellence. If you are up for the challenge of working on one of the most exciting construction projects in Singapore, we encourage you to apply.

Let's build the future of aviation together. We look forward to your application.

The candidate shall be engaged in design delivery, submission, construction support, as-build and completion of the Project. The other duties include:

• Undertake detailed design in foundation, concrete and steelworks Structures
• Develop design concepts and construction methodologies and provide leadership in sectional project execution Provide design sketches and reports required for schematic, design development and constructions phases of projects.
• Provide detailed engineering computations and analysis as required for the statutory submission.
• Attending technical / progress meeting with clients and inspections during construction.

About you:

• Bachelor's Degree in Engineering (Civil) recognised by PEB Singapore.
• Minimum 5 years post graduate experience with consultant background in Civil and/or Structural Engineering.
• Proficient in 3D design programmes i.e. Robot, TSD, SAP 2000, STAAD Pro, ETABS, SAFE etc.
• Familiar with the latest codes of practice, the complete BCA submission and approval process.
• Familiar with Revit and delivering projects in BIM.
• Willing to mentor junior colleagues.

• Liaise with Consultants, contractors and authorities from inception to completion of projects
• Responsible for timely submission of reports and completion of projects for tender/submission with target dates
• Manage projects to meet the time, cost and quality objectives
• Coordinate and monitor work progress at the site including periodical site inspection and attending meetings during the course of the construction of projects
• Minimum 3 - 10 years of relevant experience in Civil Engineering Projects, preferably with MRT project experience
• Supervisory experience in foundation & structural works on-site
• Knowledge of LTA regulations

• A recognized Degree in Civil/Structural Engineering
• Proficient in AUTOCAD and Civil and Structural Engineering software applications
• Positive attitude, self-motivated and responsible
• Able to start work immediately

• To assist in site supervision works
• Coordinate internally with inter-department and externally with clients & consultants
• Coordinating for the project planning, documentation and execution of works on site
• Coordination, supervision & monitoring the progress of the project works on site, manpower mobilization, materials planning & ordering
• Coordinate with the contractor, suppliers on all project implementation issues and attend site meetings when required
• Produce weekly site progress reports and necessary submission
• Attend meetings, conduct site inspections on work progress to ensure quality control in accordance to meet authority requirements.
• To take on PE Assignee Supervision Role

• Degree in Civil Engineering or equivalent
• Good organizational and planning skills
• Effective communication and coordination skills and teamwork
• Able to work independently and in a team
• RE Registration with IES of Singapore