Job Description & Requirements

• Develop verification environment and tests to perform Functional (RTL) testing at IP level and SoC Level
• Develop IP level/SoC level test plans based on the design/architectural specs.
• Coverage Analysis and Coding
• Run simulations & regressions, debug test failures to identify test case issues & RTL design issues
• Define and develop block/full chip level verification environment and its components

Required Skills:

• 3–9 & above years of experience in ASIC Verification and Methodologies
• Good knowledge of System Verilog, SV-OVM/SV-UVM Methodologies
• Good understanding of RTL concepts
• Good understanding of AHB/AXI protocol
• Expertise in PCI-e/ USB/ Ethernet
• Need Experience on protocols MAC, FEC, and Serdes
• Knowledge of Perl/TCL is Must
• Good communication skill

Linux Driver/Kernel development for Ethernet/DSL/LTE Modem/Router/Home Gateway

• Doing system bring up and validation, software integration and qualification

• Upstream Linux driver to open source community

• Actively participate Key customer expert support/Linux driver porting and kernel migration/software concept profiling

EXPERIENCE/KNOWLEDGE IN KEYWORDS:

• University degree of computer science or electric engineering

• Minimum five years’ experience of embedded software development

• Familiar with Linux driver and kernel architecture. Rich experience in Linux kernel/driver development. Master Linux kernel/driver debugger skill

• Rich experience in linux kernel upstream process

• Active developer in open source linux community is an advantage

• Knowledge of XDSL, ETHERNET switch, wireless LAN, Security Engine and microprocessor is an advantage

• Knowledge of Git/Mercurial/perforce or other version control tools is preferred

• Team player, very proactive and self-motivated

Responsibilities

• Participate in new product development project from concept to launch
• Support and improve existing product lines
• Support activities to reduce production cost, lead-time and improve product reliability and quality
• Collaborate with external partners in joint product development projects
• Manage project scope, timelines, budgets, product specifications, production schedules, and any other deliverables
• Establish engineering specifications and production processes to meet technical, functional and quality requirements
• Coordinate and support manufacturing of prototypes and products to ensure reliability and quality of product
• Develop and perform assembly and test procedures for product according to specifications
• Identify and resolve all issues effectively to achieve all objectives
• Ensure proper documentation (including manuals) of all required information for product/projects
• Support product installations and any necessary diagnoses, troubleshooting, service, and repair
• Provide product training and support internally and distributors

Requirements

• Bachelor’s degree in Electronics, Electrical or System related Engineering
• 3-5 years relevant experience in product development
• A good team player with strong interpersonal communication skill
• Self-motivated and able to take ownership of appointed task to follow through to completion with little supervision
• Familiar with programming languages C and C++
• Knowledge on Windows OS
• Basic understanding on schematic and Gerber
• Working location is in Jurong East
• 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.

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

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

Bachelor / Master’s degree in electrical & Electronic Engineering with at least 3 years of relevant experience in leading successful CMOS IC Test development projects.

• Experience in Advantest 93K tester (should be familiar with SMT 7 & 8) or J750

• Smartest 7 or 8 hands-on experience.

• Multiple years of experience on the V93k platform/J750

• Responsible for preparing the Production Test packages (Hardware and Software), and

• Qualification Test programs

• Ensure Timely transfer of Engineering and Production test packages for Wafersort and Final

• (Packaged) Test to various test sites

• Support SoC Test/Test Program Integrators on day to day debug and analysis as required

• based on schedule Test Program Roadmap

• Support test program buyoff 1st line support as needed inclusive of troubleshooting and

• resolutions

• Strong 93k DC testing experience

• Knowledge on Programming concepts and C/C++, Python, Java/ VBA language – preferred

Job Description & Requirements

• Develop verification environment and tests to perform Functional (RTL) testing at IP level and SoC Level
• Develop IP level/SoC level test plans based on the design/architectural specs.
• Coverage Analysis and Coding
• Run simulations & regressions, debug test failures to identify test case issues & RTL design issues
• Define and develop block/full chip level verification environment and its components

Required Skills:

• 6 & above years of experience in ASIC Verification and Methodologies
• Good knowledge of System Verilog, SV-OVM/SV-UVM Methodologies
• Good understanding of RTL concepts
• Good understanding of AHB/AXI protocol
• Expertise in PCI-e/ USB/ Ethernet
• Need Experience on protocols MAC, FEC, and Serdes
• Knowledge of Perl/TCL is Must
• Good communication skil

Experience / Skills:

• Degree in Mechnical Engineering (or equivalent qualification) or have a proven track record in the delivery of design projects.
• Minimum 8-10 years of working experience, preferably in consulting environment, with minimum 3 years of working experience in detailed design, design with contractor and onsite experience.
• Relevant experience in mechanical/electrical building services engineering design, including areas such as specification writing, calculations.
• Have knowledge and understanding of engineering practices, techniques and procedures and interfaces with design team and client needs.
• Make reference to regulations, industry standards and good practice in engineering design.
• A track record of having worked on a variety of Building Services designs covering for example, Infrastructure, Education, Healthcare and Commercial projects.
• Experience of seeing conceptual designs through to completion and dealing directly with clients.
• Able to contribute to the fee proposal and determine resources.
• Able to assess staff requirements at each work stage, agreeing these with the Project Manager and be able to manage single disciplinary and multi-disciplinary projects.
• Worked in infrastructure projects, e.g. railway projects will be an added advantage
• Experience in BIM (Revit) will be an added advantage.
• A member of a professional Institution or close to achieving professional engineer status.

Role Responsibilities:

• Contribute to the fee proposal and determine resources.
• Preparation of design report, calculation, drawings, specification, cost estimation and details/ schedules for projects.
• Conduct M&E services site survey
• Lead in the coordination with other disciplines in preparation of design deliveries
• Produce mechanical design from concept to detail design
• Assist Professional Engineer in liaison, preparation and follow up of Authority Submission.
• Work closely with Clients / Architects/ Structural Engineers / Quantity Surveyors, etc.
• Assist Project Manager in up-keeping the project ISO quality documentation and records.
• Prepare outline scheme report/technical content of the design information
• Input to pre-qualification and selection of contractors, respond to tender queries, comment and review tender returns.
• Conduct presentations / workshops on techanical matters.
• Attend tender/client interviews.
• Attend site inspection meetings.
• Ensure the project work complies with the Project Management Plan and Programme.
• Ensure quality, sound and efficient engineering design service being reflected in every project deliverable.
• Conduct design check/review with junior engineers on every project handled.
• Preparation of design report, calculation, drawings, specification, cost estimation and details/ schedules for projects.
• To work closely with junior engineers, provide necessary guidance, training and provide assistance on their technical / professional development at AECOM.

Bachelor / Master’s degree in electrical & Electronic Engineering with at least 4 years of relevant experience in leading successful CMOS IC Test development projects.

• Experience in Advantest 93K tester (should be familiar with SMT 7 & 8) or J750

• Smartest 7 or 8 hands-on experience.

• Multiple years of experience on the V93k platform/J750

• Responsible for preparing the Production Test packages (Hardware and Software), and

• Qualification Test programs

• Ensure Timely transfer of Engineering and Production test packages for Wafersort and Final

• (Packaged) Test to various test sites

• Support SoC Test/Test Program Integrators on day to day debug and analysis as required

• based on schedule Test Program Roadmap

• Support test program buyoff 1st line support as needed inclusive of troubleshooting and

• resolutions

• Strong 93k DC testing experience

• Knowledge on Programming concepts and C/C++, Python, Java/ VBA language – preferred

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

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

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

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.

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